summaryrefslogtreecommitdiff
path: root/gcc/ada/einfo.ads
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2011-08-02 10:27:16 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2011-08-02 10:27:16 +0000
commit47ac4bbc1c794774b68c9dc7a28d36b806a38a8d (patch)
treeb4ee8d576fb450f09c1b861f596dfff8de7dd0d7 /gcc/ada/einfo.ads
parentc6769a7d8db20b4c4a646cda8bf07cfb8a9fb804 (diff)
downloadgcc-47ac4bbc1c794774b68c9dc7a28d36b806a38a8d.tar.gz
2011-08-02 Robert Dewar <dewar@adacore.com>
* sem_ch5.adb, sem_ch7.adb, einfo.ads, sem_util.adb, sem_util.ads, sem_res.adb, sem_ch6.adb: Minor reformatting. 2011-08-02 Jerome Guitton <guitton@adacore.com> * a-except-2005.adb (Raise_Current_Excep): Remove obsolete dead code. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177127 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/einfo.ads')
-rw-r--r--gcc/ada/einfo.ads10
1 files changed, 8 insertions, 2 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads
index a69ba1ac1ce..7368fdf64c7 100644
--- a/gcc/ada/einfo.ads
+++ b/gcc/ada/einfo.ads
@@ -3233,7 +3233,11 @@ package Einfo is
-- Overridden_Operation (Node26)
-- Present in subprograms. For overriding operations, points to the
--- user-defined parent subprogram that is being overridden.
+-- user-defined parent subprogram that is being overridden. Note: this
+-- attribute uses the same field as Static_Initialization. The latter
+-- is only defined for internal initialization procedures, for which
+-- Overridden_Operation is irrelevant. Thus this attribute must not be
+-- set for init_procs.
-- Package_Instantiation (Node26)
-- Present in packages and generic packages. When present, this field
@@ -3649,7 +3653,9 @@ package Einfo is
-- initialized statically. The value of this attribute is a positional
-- aggregate whose components are compile-time static values. Used
-- when available in object declarations to eliminate the call to the
--- initialization procedure, and to minimize elaboration code.
+-- initialization procedure, and to minimize elaboration code. Note:
+-- This attribute uses the same field as Overridden_Operation, which is
+-- irrelevant in init_procs.
-- Stored_Constraint (Elist23)
-- Present in entities that can have discriminants (concurrent types