OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

exp_ch9.adb, inline.ads: Minor reformatting. 

2014-01-29  Robert Dewar  <dewar@adacore.com>

	* exp_ch9.adb, inline.ads: Minor reformatting.

From-SVN: r207246
This commit is contained in:
Robert Dewar 2014-01-29 15:23:07 +00:00 committed by Arnaud Charlet
parent 4043fd0b3b
commit 443dd772d6
3 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/ada/ChangeLog
View File

@ -1,3 +1,7 @@
2014-01-29 Robert Dewar <dewar@adacore.com>
* exp_ch9.adb, inline.ads: Minor reformatting.
2014-01-29 Tristan Gingold <gingold@adacore.com>
* exp_ch9.adb (Is_Exception_Safe): Return true if no exceptions.

4
gcc/ada/exp_ch9.adb
View File

@ -13425,9 +13425,7 @@ 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.
-- When exceptions can't be propagated, the subprogram returns normally
if No_Exception_Handlers_Set then
return True;

2
gcc/ada/inline.ads
View File

@ -100,7 +100,7 @@ package Inline is
SPARK_Mode : SPARK_Mode_Type;
SPARK_Mode_Pragma : Node_Id;
-- SPARK_Mode for an instance is the one applicable at the point of
-- instantiation.
-- instantiation. SPARK_Mode_Pragma is the related active pragma.
end record;
package Pending_Instantiations is new Table.Table (