diff options
| author | Thomas Quinot <quinot@adacore.com> | 2007-08-14 10:45:05 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-08-14 10:45:05 +0200 |
| commit | 9410151a22e5a54497fcc44bf30dccf3569441e0 (patch) | |
| tree | d0e7a73386d172b2419d7f2ead4f393e6d2ab8d5 /gcc/ada/lib-writ.ads | |
| parent | 5e1527bd5913aa38b5975022665985773747127a (diff) | |
| download | gcc-9410151a22e5a54497fcc44bf30dccf3569441e0.zip gcc-9410151a22e5a54497fcc44bf30dccf3569441e0.tar.gz gcc-9410151a22e5a54497fcc44bf30dccf3569441e0.tar.bz2 | |
binde.adb (Elab_All_Links): Remove unnecessary call to Generic_Separately_Compiled (if...
2007-08-14 Thomas Quinot <quinot@adacore.com>
Vincent Celier <celier@adacore.com>
* binde.adb (Elab_All_Links): Remove unnecessary call to
Generic_Separately_Compiled (if a unit satisfies this predicate, there
won't be an associated Afile).
(Elab_All_Links): Fail if a referenced unit cannot be found
* bindgen.adb:
Fix comments in bindgen regarding consistency checks done in Bcheck:
the checks are made across units within a partition, not across several
partitions.
Fix generation of C binder file for VxWorks.
* lib.adb (Generic_Separately_Compiled): Rename to
Generic_May_Lack_ALI, more descriptive of the current use of the
predicate, and update documentation.
* lib-writ.ads, lib-writ.adb (Write_With_Lines): Minor code
reorganization and documentation update for the case of predefined
library generics (for which we do not reference an Afile).
From-SVN: r127439
Diffstat (limited to 'gcc/ada/lib-writ.ads')
| -rw-r--r-- | gcc/ada/lib-writ.ads | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/gcc/ada/lib-writ.ads b/gcc/ada/lib-writ.ads index 0d4a160..50eb9ea 100644 --- a/gcc/ada/lib-writ.ads +++ b/gcc/ada/lib-writ.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2006, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2007, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -435,7 +435,13 @@ package Lib.Writ is -- dynamic elaboration model, as set by either the -gnatE -- switch or pragma Elaboration_Checks (Dynamic). -- - -- EB Unit has pragma Elaborate_Body + -- EB Unit has pragma Elaborate_Body, or is a generic instance + -- that has a body. Set for instances because RM 12.3(20) + -- requires that the body be immediately elaborated after the + -- spec (we would normally do that anyway, because elaborate + -- spec and body together whenever possible, and for an instance + -- it is always possible; however setting EB ensures that this + -- is done even when using the -p gnatbind switch). -- -- EE Elaboration entity is present which must be set true when -- the unit is elaborated. The name of the elaboration entity |