aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Dewar <dewar@adacore.com>2014-01-29 15:23:07 +0000
committerArnaud Charlet <charlet@gcc.gnu.org>2014-01-29 16:23:07 +0100
commit443dd772d6121017bb24bfca182f1494c58ef7d2 (patch)
tree4f3a46886b2cd81f50e188613ac7fb9688db4cbe
parent4043fd0b3b44f16df0527f0511a08131050ab478 (diff)
downloadgcc-443dd772d6121017bb24bfca182f1494c58ef7d2.zip
gcc-443dd772d6121017bb24bfca182f1494c58ef7d2.tar.gz
gcc-443dd772d6121017bb24bfca182f1494c58ef7d2.tar.bz2
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
-rw-r--r--gcc/ada/ChangeLog4
-rw-r--r--gcc/ada/exp_ch9.adb4
-rw-r--r--gcc/ada/inline.ads2
3 files changed, 6 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index cdef61e..8641cd2 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -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.
diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb
index 8f78f06..c9ee46c 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 fd0e965..651a748 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 (