diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-02 10:08:18 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-02 10:08:18 +0200 |
| commit | 538dbb562fc7b3d8792477176eba628498f2ef18 (patch) | |
| tree | ba46b8c2fc01c16e5e53ae1f6178036853037c3d /gcc/ada/usage.adb | |
| parent | c7e152b57d8f22c33077340f5684d8098062bdff (diff) | |
| download | gcc-538dbb562fc7b3d8792477176eba628498f2ef18.zip gcc-538dbb562fc7b3d8792477176eba628498f2ef18.tar.gz gcc-538dbb562fc7b3d8792477176eba628498f2ef18.tar.bz2 | |
[multiple changes]
2012-10-02 Robert Dewar <dewar@adacore.com>
* usage.adb, gnat_rm.texi, vms_data.ads: Add entry for
/OVERFLOW_CHECKS=?? generating -gnato?? for control
of extended overflow checking.
* ug_words: Add entry for -gnato?? for /OVERFLOW_CHECKS=??
* gnat_ugn.texi: Add documentation for -gnato?? for control of overflow
checking mode.
2012-10-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Quantified_Expression): If the iterator in
a quantified expression is statically known to be null (e.g. a
array with an empty index type) emit a warning.
From-SVN: r191957
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 12324ef..2f85807 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -319,7 +319,15 @@ begin -- Line for -gnato switch Write_Switch_Char ("o"); - Write_Line ("Enable overflow checking (off by default)"); + Write_Line ("Enable overflow checking mode to CHECKED (off by default)"); + + -- Line for -gnato? switch + + Write_Switch_Char ("o?"); + Write_Line ("Set SUPPRESSED/CHECKED/MINIMIZED/ELIMINATED (?=0/1/2/3) mode"); + + Write_Switch_Char ("o??"); + Write_Line ("Set mode for general/assertion expressions separately"); -- Line for -gnatO switch |