diff options
| author | Bob Duff <duff@adacore.com> | 2009-04-22 09:46:29 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-22 11:46:29 +0200 |
| commit | 218e53ff255953c209d36c431f3eda3fcd7d296a (patch) | |
| tree | 90c235956a6ffcc7534101fd39971c423ec12a7b /gcc/ada/sinfo.ads | |
| parent | c73b64789603a591d339431e8b2e42079d4a54e5 (diff) | |
| download | gcc-218e53ff255953c209d36c431f3eda3fcd7d296a.zip gcc-218e53ff255953c209d36c431f3eda3fcd7d296a.tar.gz gcc-218e53ff255953c209d36c431f3eda3fcd7d296a.tar.bz2 | |
exp_pakd.adb: Minor comment fixes.
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.
From-SVN: r146556
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 7343a95..df677a4 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. |