diff options
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 |