diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-12-05 11:55:42 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-12-05 11:55:42 +0100 |
| commit | 5e29ae8259c54bdc25e82b3e71c956cde0a49a99 (patch) | |
| tree | 125bcd0e1d28de72c61c9d14eb0e0ef10da3b17c /gcc/ada/usage.adb | |
| parent | b9daa96e707ca488636eccded3255657ad0ef2bf (diff) | |
| download | gcc-5e29ae8259c54bdc25e82b3e71c956cde0a49a99.zip gcc-5e29ae8259c54bdc25e82b3e71c956cde0a49a99.tar.gz gcc-5e29ae8259c54bdc25e82b3e71c956cde0a49a99.tar.bz2 | |
[multiple changes]
2012-12-05 Robert Dewar <dewar@adacore.com>
* lib-writ.adb (Write_ALI): Output T lines.
* lib-writ.ads: Minor reformatting. Add documentation of T lines.
* opt.ads (Generate_Target_Dependent_Info): New flag.
* switch-c.adb (Scan_Switches): Recognize -gnatet switch
(target dependent info).
* ttypes.ads: Add four letter codes to declarations (for target
dependent info).
* usage.adb: Add line for -gnatet switch.
2012-12-05 Hristian Kirtchev <kirtchev@adacore.com>
* exp_prag.adb (Expand_N_Pragma): Add a call to expand
pragma Loop_Variant.
(Expand_Pragma_Loop_Assertion): Removed.
(Expand_Pragma_Loop_Variant): New routine.
* par-prag.adb: Remove Pragma_Loop_Assertion and add two new
Pragma_Loop_Invariant and Pragma_Loop_Variant entries.
* sem_attr.adb (Analyze_Attribute): Update the code which
locates the enclosing pragma.
* sem_prag.adb (Analyze_Pragma): Remove the code which analyzes
pragma Loop_Assertion as the pragma is now obsolete. Add the
machinery to checks the semantics of pragmas Loop_Invariant
and Loop_Variant.
(Check_Loop_Invariant_Variant_Placement): New routine.
* snames.ads-tmpl: Remove name Loop_Assertion. Add new names
Loop_Invariant and Loop_Variant. Rename Name_Decreasing
to Name_Decreases and Name_Increasing to Name_Increases.
Remove the pragma Id for Loop_Assertion and add two new Ids for
Loop_Invariant and Loop_Variant.
From-SVN: r194203
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index c492ecf..6b6605d 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -232,6 +232,11 @@ begin Write_Switch_Char ("eS"); Write_Line ("Generate SCO (Source Coverage Obligation) information"); + -- Line for -gnatet switch + + Write_Switch_Char ("et"); + Write_Line ("Generate target dependent information in ALI file"); + -- Line for -gnateV switch Write_Switch_Char ("eV"); |