diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-05-22 10:53:29 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-05-22 10:53:29 +0000 |
| commit | 3039aa41c7a325eaa4afc6fec182b8d18ea27968 (patch) | |
| tree | a3702aa892b5542204a4faac178e2222cf39d084 /gcc/ada/a-cbhase.ads | |
| parent | 044580bb2daf8e7a8eca1ed07ca4c8f79917a38d (diff) | |
| download | gcc-3039aa41c7a325eaa4afc6fec182b8d18ea27968.tar.gz | |
2015-05-22 Robert Dewar <dewar@adacore.com>
* sem_ch8.adb (Analyze_Object_Renaming): Check for renaming
component of an object to which Volatile_Full_Access applies.
2015-05-22 Jerome Guitton <guitton@adacore.com>
* exp_dbug.ads: Add note about non bit-packed arrays.
2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
* sem_prag.adb: Fix typo.
* einfo.ads: Grammar fixes in comments.
2015-05-22 Bob Duff <duff@adacore.com>
* a-cborma.ads, a-cidlli.ads, a-cimutr.ads, a-ciormu.ads,
* a-cihase.ads, a-cohama.ads, a-coorse.ads, a-cbhama.ads,
* a-cborse.ads, a-comutr.ads, a-ciorma.ads, a-cobove.ads,
* a-coormu.ads, a-convec.ads, a-cohase.ads, a-coinho.ads,
* a-cbdlli.ads, a-cbmutr.ads, a-cbhase.ads, a-cdlili.ads,
* a-cihama.ads, a-coinve.ads, a-ciorse.ads, a-coorma.ads,
* a-coinho-shared.ads (Constant_Reference_Type, Reference_Type):
Add an initialization expression "raise Program_Error". See,
for example, RM-A.18.2(148.4).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223548 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-cbhase.ads')
| -rw-r--r-- | gcc/ada/a-cbhase.ads | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/gcc/ada/a-cbhase.ads b/gcc/ada/a-cbhase.ads index 619aec9debc..c24fa8a1cf0 100644 --- a/gcc/ada/a-cbhase.ads +++ b/gcc/ada/a-cbhase.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 -- @@ -549,9 +549,13 @@ private type Constant_Reference_Type (Element : not null access constant Element_Type) is - record - Control : Reference_Control_Type; - end record; + record + 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 (Stream : not null access Root_Stream_Type'Class; |