diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-09-01 10:59:58 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-09-01 10:59:58 +0000 |
| commit | 4f84b7226c55f96f3fa458af7d8a15a72f33d1f8 (patch) | |
| tree | 0d9edcd5120dd470ff8c1f523b5ecd692f338259 /gcc/ada/lib-writ.adb | |
| parent | 533474bc1ea83d2ac536785b2f6473bad9cfd7dc (diff) | |
| download | gcc-4f84b7226c55f96f3fa458af7d8a15a72f33d1f8.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178406 138bc75d-0d04-0410-961f-82ee72b054a4
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 bd236ea4250..c8129e9ecbd 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); |