diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-12-05 11:50:26 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-12-05 11:50:26 +0100 |
| commit | b9daa96e707ca488636eccded3255657ad0ef2bf (patch) | |
| tree | c5c209c40ca9749ed464e50350da081265ed2a3f /gcc/ada/usage.adb | |
| parent | de6cad7c5c435279a851b6546d7cb6cd3001d96c (diff) | |
| download | gcc-b9daa96e707ca488636eccded3255657ad0ef2bf.zip gcc-b9daa96e707ca488636eccded3255657ad0ef2bf.tar.gz gcc-b9daa96e707ca488636eccded3255657ad0ef2bf.tar.bz2 | |
[multiple changes]
2012-12-05 Robert Dewar <dewar@adacore.com>
* gnatchop.adb, sem_attr.ads, sem_ch4.adb, sem_ch6.adb, exp_disp.adb,
atree.adb, sem_eval.adb: Minor reformatting.
2012-12-05 Yannick Moy <moy@adacore.com>
* uintp.adb (UI_Div_Rem): Correct algorithm D to remove potential
overflow.
2012-12-05 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_N_Op_Mod): Minor comment additions.
(Expand_N_Op_Rem): Ditto.
2012-12-05 Robert Dewar <dewar@adacore.com>
* sem_attr.adb: Minor reformatting.
2012-12-05 Robert Dewar <dewar@adacore.com>
* usage.adb: Update lines for -gnato? switch.
From-SVN: r194202
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 7c9c402..c492ecf 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -321,13 +321,14 @@ begin Write_Switch_Char ("o"); Write_Line ("Enable overflow checking mode to CHECKED (off by default)"); - -- Line for -gnato? switch + -- Lines for -gnato? switches Write_Switch_Char ("o?"); - Write_Line ("Set SUPPRESSED/CHECKED/MINIMIZED/ELIMINATED (?=0/1/2/3) mode"); - + Write_Line + ("Enable overflow checks in STRICT/MINIMIZED/ELIMINATED (1/2/3) mode "); Write_Switch_Char ("o??"); - Write_Line ("Set mode for general/assertion expressions separately"); + Write_Line + ("Set mode for general/assertion expressions separately"); -- Line for -gnatO switch @@ -366,22 +367,22 @@ begin Write_Switch_Char ("R?s"); Write_Line ("List rep info to file.rep instead of standard output"); - -- Lines for -gnats switch + -- Line for -gnats switch Write_Switch_Char ("s"); Write_Line ("Syntax check only"); - -- Lines for -gnatS switch + -- Line for -gnatS switch Write_Switch_Char ("S"); Write_Line ("Print listing of package Standard"); - -- Lines for -gnatt switch + -- Line for -gnatt switch Write_Switch_Char ("t"); Write_Line ("Tree output file to be generated"); - -- Line for -gnatT switch + -- Line for -gnatTnn switch Write_Switch_Char ("Tnn"); Write_Line ("All compiler tables start at nn times usual starting size"); @@ -401,7 +402,7 @@ begin Write_Switch_Char ("v"); Write_Line ("Verbose mode. Full error output with source lines to stdout"); - -- Line for -gnatV switch + -- Lines for -gnatV switch Write_Switch_Char ("Vxx"); Write_Line |