diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-22 09:46:29 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-22 09:46:29 +0000 |
| commit | 71c11f4a4d4c92284eba02df854c1a521d73ab6c (patch) | |
| tree | 90c235956a6ffcc7534101fd39971c423ec12a7b /gcc/ada/sinfo.ads | |
| parent | 180a5dc0df968ab1ce2f1b97a15ad6e25d03fff9 (diff) | |
| download | gcc-71c11f4a4d4c92284eba02df854c1a521d73ab6c.tar.gz | |
2009-04-22 Bob Duff <duff@adacore.com>
* exp_pakd.adb: Minor comment fixes.
* sinfo.ads, par-load.adb, sem_ch10.adb, lib-load.ads, lib-load.adb
sem_ch12.adb: Change the meaning of the Library_Unit attribute to
include units containing instantiations, as well as units that are
generic instantiations.
* sem.adb: Include dependents and corresponding specs/bodies in the
unit walk.
* gcc-interface/Make-lang.in:
sem now depends on s-bitops, because of the packed array of Booleans.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146556 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 21 |
1 files changed, 9 insertions, 12 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 7343a95f982..df677a44473 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -1287,19 +1287,16 @@ package Sinfo is -- -- In a compilation unit node, the usage depends on the unit type: -- - -- For a subprogram body, Library_Unit points to the compilation unit - -- node of the corresponding spec, unless Acts_As_Spec is set, in which - -- case it points to itself. + -- For a library unit body, Library_Unit points to the compilation unit + -- node of the corresponding spec, unless it's a subprogram body with + -- Acts_As_Spec set, in which case it points to itself. -- - -- For a package body, Library_Unit points to the compilation unit of - -- the corresponding package spec. - -- - -- For a subprogram spec to which pragma Inline applies, Library_Unit - -- points to the compilation unit node of the corresponding body, if - -- inlining is active. - -- - -- For a generic declaration, Library_Unit points to the compilation - -- unit node of the corresponding generic body. + -- For a spec, Library_Unit points to the compilation unit node of the + -- corresponding body, if present. The body will be present if the spec + -- is or contains generics that we needed to instantiate. Similarly, the + -- body will be present if we needed it for inlining purposes. Thus, if + -- we have a spec/body pair, both of which are present, they point to + -- each other via Library_Unit. -- -- For a subunit, Library_Unit points to the compilation unit node of -- the parent body. |