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_util.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_util.adb')
| -rw-r--r-- | gcc/ada/exp_util.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index cc3213d..7c1ceeb 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -3840,11 +3840,11 @@ package body Exp_Util is begin if Suppress = All_Checks then declare - Svg : constant Suppress_Record := Scope_Suppress; + Sva : constant Suppress_Array := Scope_Suppress.Suppress; begin - Scope_Suppress := Suppress_All; + Scope_Suppress.Suppress := (others => True); Insert_Actions (Assoc_Node, Ins_Actions); - Scope_Suppress := Svg; + Scope_Suppress.Suppress := Sva; end; else @@ -6727,7 +6727,7 @@ package body Exp_Util is -- All this must not have any checks - Scope_Suppress := Suppress_All; + Scope_Suppress.Suppress := (others => True); -- If it is a scalar type and we need to capture the value, just make -- a copy. Likewise for a function call, an attribute reference, an |