diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-09-01 12:59:58 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-09-01 12:59:58 +0200 |
| commit | f503788621ee1fadc3bcd506f8939b3cd82d6876 (patch) | |
| tree | 0d9edcd5120dd470ff8c1f523b5ecd692f338259 /gcc/ada/lib-writ.adb | |
| parent | 549e455803a0014098c187a65bc7e4ce783e8645 (diff) | |
| download | gcc-f503788621ee1fadc3bcd506f8939b3cd82d6876.zip gcc-f503788621ee1fadc3bcd506f8939b3cd82d6876.tar.gz gcc-f503788621ee1fadc3bcd506f8939b3cd82d6876.tar.bz2 | |
[multiple changes]
2011-09-01 Yannick Moy <moy@adacore.com>
* ali-util.adb, ali-util.ads (Read_Withed_ALIs): Add parameter
Ignore_Errors to ignore failures to read ALI files when True.
2011-09-01 Javier Miranda <miranda@adacore.com>
* exp_ch3.adb (Expand_N_Object_Declaration): Handle non-default
constructor calls associated with non-tagged record types.
2011-09-01 Robert Dewar <dewar@adacore.com>
* g-socthi-vms.adb: Minor reformatting.
2011-09-01 Nicolas Roche <roche@adacore.com>
* sysdep.c: Don't use macro functions for stdio functions on VxWorks
in order to avoid impact of imcompatible changes.
* cstreams.c: Likewise
* cio.c: Likewise
* aux-io.c: Likewise
2011-09-01 Yannick Moy <moy@adacore.com>
* lib-writ.adb (Write_With_Lines): Always output complete information
on "with" line in Alfa mode, as this is required by formal verification
back-end.
From-SVN: r178406
Diffstat (limited to 'gcc/ada/lib-writ.adb')
| -rw-r--r-- | gcc/ada/lib-writ.adb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/lib-writ.adb b/gcc/ada/lib-writ.adb index bd236ea..c8129e9 100644 --- a/gcc/ada/lib-writ.adb +++ b/gcc/ada/lib-writ.adb @@ -796,6 +796,12 @@ package body Lib.Writ is or else Nkind (Unit (Cunit)) in N_Generic_Renaming_Declaration) and then Generic_May_Lack_ALI (Fname)) + + -- In Alfa mode, always generate the dependencies on ALI + -- files, which are required to compute frame conditions + -- of subprograms. + + or else Alfa_Mode then Write_Info_Tab (25); |