diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-29 15:21:59 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-29 15:21:59 +0000 |
commit | 8325ff3be4b110a27bd59a6567bf32d6a0452b43 (patch) | |
tree | 3f90b6d6b0946a6c44d79e9aef701c809be663e7 /gcc/ada/exp_ch9.adb | |
parent | f260afb800f2de7e6ac046dcb0bd0f6195a5d4c9 (diff) | |
download | ppe42-gcc-8325ff3be4b110a27bd59a6567bf32d6a0452b43.tar.gz ppe42-gcc-8325ff3be4b110a27bd59a6567bf32d6a0452b43.zip |
2014-01-29 Tristan Gingold <gingold@adacore.com>
* exp_ch9.adb (Is_Exception_Safe): Return true if no exceptions.
2014-01-29 Yannick Moy <moy@adacore.com>
* inline.ads (Pending_Body_Info): Add SPARK_Mode and
SPARK_Mode_Pragma components to be able to analyze generic
instance.
* sem_ch12.adb (Analyze_Package_Instantiation,
Inline_Instance_Body, Need_Subprogram_Instance_Body,
Load_Parent_Of_Generic): Pass in SPARK_Mode from instantiation
for future analysis of the instance.
(Instantiate_Package_Body,
Instantiate_Subprogram_Body, Set_Instance_Inv): Set SPARK_Mode
from instantiation to analyze the instance.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207244 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_ch9.adb')
-rw-r--r-- | gcc/ada/exp_ch9.adb | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb index 694569ddc24..8f78f0619f7 100644 --- a/gcc/ada/exp_ch9.adb +++ b/gcc/ada/exp_ch9.adb @@ -13425,6 +13425,14 @@ package body Exp_Ch9 is -- Start of processing for Is_Exception_Safe begin + + -- When exceptions can not be propagated, the subprogram will always + -- return normaly. + + if No_Exception_Handlers_Set then + return True; + end if; + -- If the checks handled by the back end are not disabled, we cannot -- ensure that no exception will be raised. |