diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-24 16:33:20 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-24 16:33:20 +0200 |
| commit | b5bdffcc4fc8a8c04662438eee0edc2be7ac15b9 (patch) | |
| tree | 740bfbd90d0a1688d1e8914c3a7c6db05bd6e5ab /gcc/ada/checks.adb | |
| parent | 327b1ba4bd731c191f167d74ec3766939ab923de (diff) | |
| download | gcc-b5bdffcc4fc8a8c04662438eee0edc2be7ac15b9.zip gcc-b5bdffcc4fc8a8c04662438eee0edc2be7ac15b9.tar.gz gcc-b5bdffcc4fc8a8c04662438eee0edc2be7ac15b9.tar.bz2 | |
[multiple changes]
2013-04-24 Vincent Celier <celier@adacore.com>
* gnat_ugn.texi: Document new gnatls switch -aPdir.
* gnatcmd.adb: Pass switch -aP<dir> to gnatls.
* gnatls.adb (Scan_Ls_Arg): Process new switch -aP<dir>. Issue
a warning for unknown switches.
(Usage): Add line for new switch -aPdir.
2013-04-24 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb, sem_util.ads (Is_Limited_Class_Wide_Type): Return true
if the type comes from a limited view, so that task attributes can be
constructed.
2013-04-24 Yannick Moy <moy@adacore.com>
* checks.adb (Apply_Float_Conversion_Check): Do not apply checks if
full expansion is not enabled.
2013-04-24 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Create_Extra_Formals): In Ada 2012, create extra
formals if the type does not yet have a completion, and thus
has no underlying view.
2013-04-24 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): Treat an aspect
specification for Address as a reference, to suppress warnings
on entities that may be read by an external device.
From-SVN: r198237
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index d0d8c2c..8302b97 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -1907,6 +1907,15 @@ package body Checks is Reason : RT_Exception_Code; begin + -- We do not need checks if we are not generating code (i.e. the full + -- expander is not active). In SPARK mode, we specifically don't want + -- the frontend to expand these checks, which are dealt with directly + -- in the formal verification backend. + + if not Full_Expander_Active then + return; + end if; + if not Compile_Time_Known_Value (LB) or not Compile_Time_Known_Value (HB) then |