diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-05-21 15:25:03 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-05-21 15:25:03 +0200 |
| commit | ee6208f2d5fb8527b4f2504103e7b884f28660dc (patch) | |
| tree | fc9372ea1961f0fc2146f7fc3b05bddb860bea35 /gcc/ada/debug.adb | |
| parent | ea26c8e414ff21cc2dccf2a65476931c636c8147 (diff) | |
| download | gcc-ee6208f2d5fb8527b4f2504103e7b884f28660dc.zip gcc-ee6208f2d5fb8527b4f2504103e7b884f28660dc.tar.gz gcc-ee6208f2d5fb8527b4f2504103e7b884f28660dc.tar.bz2 | |
[multiple changes]
2014-05-21 Robert Dewar <dewar@adacore.com>
* gnatcmd.adb: Minor error msg changes (no upper case letter
at start).
* sem_ch12.adb, sem_ch5.adb, sem_res.adb, sem_util.adb: Minor
reformatting.
2014-05-21 Robert Dewar <dewar@adacore.com>
* debug.adb: Debug flag -gnatd.G inhibits static elab tracing
via generic formals.
* sem_elab.adb (Is_Call_Of_Generic_Formal): Return False if
-gnatd.G is set.
2014-05-21 Thomas Quinot <quinot@adacore.com>
* exp_pakd.adb (Revert_Storage_Order): Renamed from Byte_Swap to
more accurately describe that this subprogram needs to come into
play also in cases where no byte swapping is involved, because
it also takes care of some required shifts (left-justification
of values).
2014-05-21 Thomas Quinot <quinot@adacore.com>
* freeze.adb (Check_Component_Storage_Order): Indicate whether
a Scalar_Storage_Order attribute definition is present for the
component's type.
(Freeze_Record_Type): Suppress junk warnings
about purportedly junk Bit_Order / Scalar_Storage_Order attribute
definitions.
2014-05-21 Robert Dewar <dewar@adacore.com>
* sem_ch8.adb (Analyze_Subprogram_Renaming): Put back call
to Kill_Elaboration_Checks.
2014-05-21 Gary Dismukes <dismukes@adacore.com>
* layout.adb (Assoc_Add): Suppress the optimization of the (E
- C1) + C2 case, when the expression type is unsigned and C1 <
C2, to avoid creating a negative literal when folding.
From-SVN: r210709
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index d5fae27..8399a2c 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -124,7 +124,7 @@ package body Debug is -- d.D -- d.E Turn selected errors into warnings -- d.F Debug mode for GNATprove - -- d.G + -- d.G Ignore calls through generic formal parameters for elaboration -- d.H -- d.I Do not ignore enum representation clauses in CodePeer mode -- d.J Disable parallel SCIL generation mode @@ -623,6 +623,11 @@ package body Debug is -- d.F Sets GNATprove_Mode to True. This allows debugging the frontend in -- the special mode used by GNATprove. + -- d.G Previously the compiler ignored calls via generic formal parameters + -- when doing the analysis for the static elaboration model. This is + -- now fixed, but we provide this debug flag to revert to the previous + -- situation of ignoring such calls to aid in transition. + -- d.I Do not ignore enum representation clauses in CodePeer mode. -- The default of ignoring representation clauses for enumeration -- types in CodePeer is good for the majority of Ada code, but in some |