diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-08-14 08:45:05 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-08-14 08:45:05 +0000 |
| commit | fcdc023a8715ff3e826cf73114712889e4319607 (patch) | |
| tree | d0e7a73386d172b2419d7f2ead4f393e6d2ab8d5 /gcc/ada/lib-writ.ads | |
| parent | 1229aa51302402029897d06bef1cface5f6c199f (diff) | |
| download | gcc-fcdc023a8715ff3e826cf73114712889e4319607.tar.gz | |
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).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@127439 138bc75d-0d04-0410-961f-82ee72b054a4
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 0d4a160f604..50eb9eae3bf 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 |