diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-29 16:21:59 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-29 16:21:59 +0100 |
| commit | 4043fd0b3b44f16df0527f0511a08131050ab478 (patch) | |
| tree | 3f90b6d6b0946a6c44d79e9aef701c809be663e7 /libgcc | |
| parent | cf3e6845fd41439d52fb06791dbf13785be3db75 (diff) | |
| download | gcc-4043fd0b3b44f16df0527f0511a08131050ab478.zip gcc-4043fd0b3b44f16df0527f0511a08131050ab478.tar.gz gcc-4043fd0b3b44f16df0527f0511a08131050ab478.tar.bz2 | |
[multiple changes]
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.
From-SVN: r207244
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions