diff options
author | Robert Dewar <dewar@adacore.com> | 2014-08-01 09:48:28 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-01 11:48:28 +0200 |
commit | 21c51f53f0145dd812b2231e03116f49fadcd004 (patch) | |
tree | 7c810264a3539640bd067d4d280ad030675b8833 /gcc/ada/checks.adb | |
parent | 78433fec9a19c808d0b442741ad9ebb7b84389ef (diff) | |
download | gcc-21c51f53f0145dd812b2231e03116f49fadcd004.zip gcc-21c51f53f0145dd812b2231e03116f49fadcd004.tar.gz gcc-21c51f53f0145dd812b2231e03116f49fadcd004.tar.bz2 |
a-numaux-vxworks.ads, [...]: Fix bad package header comments.
2014-08-01 Robert Dewar <dewar@adacore.com>
* a-numaux-vxworks.ads, a-numaux-x86.adb, a-numaux-x86.ads,
a-numaux-darwin.adb, a-numaux-darwin.ads, a-numaux.ads,
a-numaux-libc-x86.ads: Fix bad package header comments.
* elists.ads, elists.adb (Append_New_Elmt): New procedure.
* gnat_rm.texi, a-calend.adb, gnatcmd.adb, einfo.adb, einfo.ads,
checks.adb, sem_prag.adb, sem_prag.ads, rtsfind.ads, freeze.adb,
sem_util.adb, sem_attr.adb, exp_dbug.adb, exp_dbug.ads, gnat1drv.adb,
targparm.adb, targparm.ads, exp_ch6.adb, switch-b.adb, s-shasto.ads,
stand.ads, s-auxdec.ads, opt.adb, opt.ads, mlib-tgt.ads, s-fatgen.adb,
s-fatgen.ads, system.ads, snames.ads-tmpl, s-stalib.ads,
s-os_lib.adb: Remove VMS-specific code.
From-SVN: r213437
Diffstat (limited to 'gcc/ada/checks.adb')
-rw-r--r-- | gcc/ada/checks.adb | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index facf85b..bf27d4e 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -8524,14 +8524,7 @@ package body Checks is function Range_Checks_Suppressed (E : Entity_Id) return Boolean is begin if Present (E) then - - -- Note: for now we always suppress range checks on Vax float types, - -- since Gigi does not know how to generate these checks. - - if Vax_Float (E) then - return True; - - elsif Kill_Range_Checks (E) then + if Kill_Range_Checks (E) then return True; elsif Checks_May_Be_Suppressed (E) then @@ -8576,9 +8569,7 @@ package body Checks is declare Typ : constant Entity_Id := Etype (Expr); begin - if Vax_Float (Typ) then - return True; - elsif Checks_May_Be_Suppressed (Typ) + if Checks_May_Be_Suppressed (Typ) and then (Is_Check_Suppressed (Typ, Range_Check) or else Is_Check_Suppressed (Typ, Validity_Check)) |