diff options
| author | Robert Dewar <dewar@adacore.com> | 2012-11-06 11:11:15 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-11-06 12:11:15 +0100 |
| commit | a7f1b24f810a5f3312fee91a63f507da952498f3 (patch) | |
| tree | bf5fc789888a9885070c8aefd76af66e8c2fcc68 /gcc/ada/exp_dist.adb | |
| parent | c4ae9877307939806b3f161f55ce635002227bad (diff) | |
| download | gcc-a7f1b24f810a5f3312fee91a63f507da952498f3.zip gcc-a7f1b24f810a5f3312fee91a63f507da952498f3.tar.gz gcc-a7f1b24f810a5f3312fee91a63f507da952498f3.tar.bz2 | |
checks.ads, [...]: Minor changes throughout for new overflow checking.
2012-11-06 Robert Dewar <dewar@adacore.com>
* checks.ads, checks.adb, exp_ch4.adb: Minor changes throughout for
new overflow checking.
* exp_util.adb (Insert_Actions): Remove special casing of
Overflow_Check.
* gnat1drv.adb (Adjust_Global_Switches): Fixes for new handling
of overflow checks.
* sem.adb (Analyze): Remove special casing of Overflow_Check
(Analyze_List): ditto.
* sem_prag.adb (Analyze_Pragma, case Overflow_Checks): Remove
SUPPRESSED and change CHECKED to STRICT.
* sem_res.adb (Analyze_And_Resolve): No longer treat
Overflow_Check specially.
(Preanalyze_And_Resolve): ditto.
(Resolve): ditto.
* snames.ads-tmpl: Replace Name_Checked by Name_Strict.
* switch-c.adb (Get_Overflow_Mode): Eliminate 0 setting,
CHECKED => STRICT.
* types.ads (Overflow_Check_Type): Remove Suppressed, change
Checked to Strict (Suppress_Record): Overflow check controlled
by Suppress array.
From-SVN: r193233
Diffstat (limited to 'gcc/ada/exp_dist.adb')
0 files changed, 0 insertions, 0 deletions