diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-08-06 10:26:27 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-08-06 10:26:27 +0200 |
| commit | 3217f71e44777466c8aab40ddd22d0ed3ca5ce3d (patch) | |
| tree | 252d34fec92d6b22e8d4f8e3c7dedd6b4cf771ed /gcc/ada/exp_ch4.adb | |
| parent | e68077239dc16ba900c6f3b631fd88032bc870d2 (diff) | |
| download | gcc-3217f71e44777466c8aab40ddd22d0ed3ca5ce3d.zip gcc-3217f71e44777466c8aab40ddd22d0ed3ca5ce3d.tar.gz gcc-3217f71e44777466c8aab40ddd22d0ed3ca5ce3d.tar.bz2 | |
[multiple changes]
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.
From-SVN: r190166
Diffstat (limited to 'gcc/ada/exp_ch4.adb')
| -rw-r--r-- | gcc/ada/exp_ch4.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index 9ac910c..9cc8865 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -699,7 +699,7 @@ package body Exp_Ch4 is begin if Ada_Version >= Ada_2005 and then Is_Class_Wide_Type (DesigT) - and then not Scope_Suppress (Accessibility_Check) + and then not Scope_Suppress.Suppress (Accessibility_Check) and then (Type_Access_Level (Etype (Exp)) > Type_Access_Level (PtrT) or else |