diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-12-05 10:15:56 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-12-05 10:15:56 +0000 |
commit | db4153835eca545214281d0aad18d942ce28a3fa (patch) | |
tree | 4e74a774f8f1bff781b68ad2e46ce576829cbd38 /gcc/ada/checks.ads | |
parent | 2cd8090632f8d9ca9513f5b009ec003367cda23f (diff) | |
download | ppe42-gcc-db4153835eca545214281d0aad18d942ce28a3fa.tar.gz ppe42-gcc-db4153835eca545214281d0aad18d942ce28a3fa.zip |
2012-12-05 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Update overflow description. Pragma Overflow_Checks
changed to Overflow_Mode.
2012-12-05 Robert Dewar <dewar@adacore.com>
* checks.ads, exp_ch4.adb, gnat1drv.adb, par-prag.adb, sem_prag.adb,
snames.ads-tmpl, switch-c.adb, types.ads, checks.adb: Change pragma
Overflow_Checks to Overflow_Mode.
Separate overflow checking from overflow mode.
Several name changes to reflect this separation.
CHECKED mode is renamed STRICT mode.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194193 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/checks.ads')
-rw-r--r-- | gcc/ada/checks.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index f2919e2ad60..fa1c0555d97 100644 --- a/gcc/ada/checks.ads +++ b/gcc/ada/checks.ads @@ -74,7 +74,7 @@ package Checks is -- is False, then the status of the check can be determined simply by -- examining Scope_Suppress, so this routine is not called in that case. - function Overflow_Check_Mode return Overflow_Check_Type; + function Overflow_Check_Mode return Overflow_Mode_Type; -- Returns current overflow checking mode, taking into account whether -- we are inside an assertion expression. |