diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-22 12:53:29 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-22 12:53:29 +0200 |
| commit | db222eadb159ec04d1e7884c701e61e99e7e37c2 (patch) | |
| tree | a3702aa892b5542204a4faac178e2222cf39d084 /gcc/ada/a-coinve.ads | |
| parent | a2f45fe669c9e45901114e88b27327f06a138c32 (diff) | |
| download | gcc-db222eadb159ec04d1e7884c701e61e99e7e37c2.zip gcc-db222eadb159ec04d1e7884c701e61e99e7e37c2.tar.gz gcc-db222eadb159ec04d1e7884c701e61e99e7e37c2.tar.bz2 | |
[multiple changes]
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).
From-SVN: r223548
Diffstat (limited to 'gcc/ada/a-coinve.ads')
| -rw-r--r-- | gcc/ada/a-coinve.ads | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/gcc/ada/a-coinve.ads b/gcc/ada/a-coinve.ads index 2c84167..d2f7252 100644 --- a/gcc/ada/a-coinve.ads +++ b/gcc/ada/a-coinve.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2004-2013, 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 -- @@ -426,7 +426,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 Write @@ -444,7 +448,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 Write |