diff options
Diffstat (limited to 'gcc/ada/a-cimutr.ads')
| -rw-r--r-- | gcc/ada/a-cimutr.ads | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/gcc/ada/a-cimutr.ads b/gcc/ada/a-cimutr.ads index 6c3411f1314..48d2d5fabd4 100644 --- a/gcc/ada/a-cimutr.ads +++ b/gcc/ada/a-cimutr.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2004-2012, Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2015, Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -394,7 +394,11 @@ private type Constant_Reference_Type (Element : not null access constant Element_Type) is record - Control : Reference_Control_Type; + Control : Reference_Control_Type := + raise Program_Error with "uninitialized reference"; + -- The RM says, "The default initialization of an object of + -- type Constant_Reference_Type or Reference_Type propagates + -- Program_Error." end record; procedure Read @@ -412,7 +416,11 @@ private type Reference_Type (Element : not null access Element_Type) is record - Control : Reference_Control_Type; + Control : Reference_Control_Type := + raise Program_Error with "uninitialized reference"; + -- The RM says, "The default initialization of an object of + -- type Constant_Reference_Type or Reference_Type propagates + -- Program_Error." end record; procedure Read |