This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r190166 - in /trunk/gcc/ada: ChangeLog checks.a...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 06 Aug 2012 08:26:29 -0000
- Subject: r190166 - in /trunk/gcc/ada: ChangeLog checks.a...
Author: charlet
Date: Mon Aug 6 08:26:27 2012
New Revision: 190166
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=190166
Log:
2012-08-06 Robert Dewar <dewar@adacore.com>
* exp_util.adb, switch-c.adb, inline.ads, sem_ch10.adb, types.ads,
checks.adb, sem_prag.adb, sem.adb, sem.ads, sem_res.adb, sem_attr.adb,
gnat1drv.adb, exp_ch4.adb, exp_ch6.adb, opt.ads, osint.adb: Implement
extended overflow checks (step 1).
(Overflow_Check_Type, Suppress_Record, Suppress_All): New types.
(Suppress_Array): Extended to include switches to control extended
overflow checking (and renamed to Suppress_Record).
Update all uses of Suppress_Array.
2012-08-06 Thomas Quinot <quinot@adacore.com>
* makeutl.ads: Minor documentation fix.
2012-08-06 Thomas Quinot <quinot@adacore.com>
* exp_ch7.adb: Minor reformatting.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/checks.adb
trunk/gcc/ada/exp_ch4.adb
trunk/gcc/ada/exp_ch6.adb
trunk/gcc/ada/exp_ch7.adb
trunk/gcc/ada/exp_util.adb
trunk/gcc/ada/gnat1drv.adb
trunk/gcc/ada/inline.ads
trunk/gcc/ada/makeutl.ads
trunk/gcc/ada/opt.ads
trunk/gcc/ada/osint.adb
trunk/gcc/ada/sem.adb
trunk/gcc/ada/sem.ads
trunk/gcc/ada/sem_attr.adb
trunk/gcc/ada/sem_ch10.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_res.adb
trunk/gcc/ada/switch-c.adb
trunk/gcc/ada/types.ads