diff options
Diffstat (limited to 'gcc/ada/a-ciorse.ads')
| -rw-r--r-- | gcc/ada/a-ciorse.ads | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/gcc/ada/a-ciorse.ads b/gcc/ada/a-ciorse.ads index 830f9886624..c885b80478e 100644 --- a/gcc/ada/a-ciorse.ads +++ b/gcc/ada/a-ciorse.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2004-2014, 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 -- @@ -409,9 +409,13 @@ private pragma Inline (Finalize); type Constant_Reference_Type - (Element : not null access constant Element_Type) is + (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 |