diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 12:17:59 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 12:17:59 +0200 |
| commit | acad3c0a0c949793de53b128adcadf0ecee2bd22 (patch) | |
| tree | c12dcb5d92664b2a69c5bff0a305c50b1caeaa9e /gcc/tree-ssa-address.c | |
| parent | d976bf74f0b426dc4f17228e181421e695f49c05 (diff) | |
| download | gcc-acad3c0a0c949793de53b128adcadf0ecee2bd22.zip gcc-acad3c0a0c949793de53b128adcadf0ecee2bd22.tar.gz gcc-acad3c0a0c949793de53b128adcadf0ecee2bd22.tar.bz2 | |
[multiple changes]
2012-10-01 Robert Dewar <dewar@adacore.com>
* checks.adb (Overflow_Check_Mode): New function
(Apply_Overflow_Check): New procedure (Is_Check_Suppressed):
Moved here from Sem, Overflow_Check case now specially treated.
* checks.ads (Overflow_Check_Mode): New function
(Is_Check_Suppressed): Moved here from Sem (more logical)
* exp_ch4.adb (Substitute_Valid_Check): Suppress warning about
optimization if we are in MINIMIZED or ELIMINATED overflow
checking mode and within an assertiom expression.
* rtsfind.ads: Add entries for Bignum stuff.
* s-bignum.ads, s-bignum.adb: New files.
* sem.ads, sem.adb (Is_Check_Suppressed): Moved to Checks, more logical.
* sem_prag.adb (Process_Suppress_Unsuppress): New behavior for
Unsuppress of Overflow_Check (sets Checked instead of Minimized)
* sem_res.adb: Update comments.
* sinfo.ads (N_Op): Add documentation on overflow handling.
* tbuild.ads, tbuild.adb (Convert_To_And_Rewrite): New procedure.
* types.ads (Minimized_Or_Eliminated): New subtype.
2012-10-01 Eric Botcazou <ebotcazou@adacore.com>
* layout.adb (Layout_Type): Do not set twice the address size
on an access-to-unconstrained array if Debug_Flag_6 is set.
From-SVN: r191912
Diffstat (limited to 'gcc/tree-ssa-address.c')
0 files changed, 0 insertions, 0 deletions