diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-12 12:52:59 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-12 12:52:59 +0100 |
| commit | 549cc9c2bcb93b5424c9a0967016d4e51e587311 (patch) | |
| tree | e3316f28c5129d8661e41c313965dd0c973deda3 /gcc/ada/usage.adb | |
| parent | b3083540f530b6e28e57756e23c98670f69df4af (diff) | |
| download | gcc-549cc9c2bcb93b5424c9a0967016d4e51e587311.zip gcc-549cc9c2bcb93b5424c9a0967016d4e51e587311.tar.gz gcc-549cc9c2bcb93b5424c9a0967016d4e51e587311.tar.bz2 | |
[multiple changes]
2015-11-12 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Find_Selected_Component): In a synchronized
body, a reference to an operation of an object of the same
synchronized type was always interpreted as a reference to the
current instance. This is not always the case, as the prefix of
the reference may designate an object of the same type declared
in the enclosing context prior to the body.
2015-11-12 Arnaud Charlet <charlet@adacore.com>
* impunit.ads, impunit.adb (Get_Kind_Of_File): New. Cleaned up
implementation from previous Get_Kind_Of_Unit.
(Get_Kind_Of_Unit): Reimplemented using Get_Kind_Of_File.
* debug.adb: Remove d.4 switch, no longer used.
* opt.ads: Update doc on Debugger_Level.
* gnat1drv.adb: Code clean ups.
* sinput.ads: minor fix in comment
2015-11-12 Bob Duff <duff@adacore.com>
* sinfo.adb, sinfo.ads, sem_ch6.adb, atree.ads: Add
Was_Expression_Function flag, which is set in sem_ch6.adb when
converting an Expression_Function into a Subprogram_Body.
2015-11-12 Pascal Obry <obry@adacore.com>
* usage.adb: Update overflow checking documentation.
From-SVN: r230243
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index ae0981f..99edf94 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -360,8 +360,11 @@ begin -- Line for -gnato switch + Write_Switch_Char ("o0"); + Write_Line ("Disable overflow checking (on by default)"); + Write_Switch_Char ("o"); - Write_Line ("Enable overflow checking mode to CHECKED (off by default)"); + Write_Line ("Enable overflow checking in STRICT (-gnato1) mode (default)"); -- Lines for -gnato? switches |