From: charlet Date: Wed, 29 Jan 2014 15:23:07 +0000 (+0000) Subject: 2014-01-29 Robert Dewar X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=b69074f32f3dba05fb898ca4f37f5b23736481c6;p=thirdparty%2Fgcc.git 2014-01-29 Robert Dewar * exp_ch9.adb, inline.ads: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207246 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index cdef61ed1edf..8641cd2b7e1c 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2014-01-29 Robert Dewar + + * exp_ch9.adb, inline.ads: Minor reformatting. + 2014-01-29 Tristan Gingold * exp_ch9.adb (Is_Exception_Safe): Return true if no exceptions. diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb index 8f78f0619f77..c9ee46cf8631 100644 --- a/gcc/ada/exp_ch9.adb +++ b/gcc/ada/exp_ch9.adb @@ -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; diff --git a/gcc/ada/inline.ads b/gcc/ada/inline.ads index fd0e965f3f23..651a7484c2e7 100644 --- a/gcc/ada/inline.ads +++ b/gcc/ada/inline.ads @@ -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 (