From: Robert Dewar <dewar@adacore.com>
Date: Fri, 5 Jul 2013 09:52:38 +0000 (+0000)
Subject: gnat_rm.texi, [...]: Minor comment/text fixes.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4672940951fd298f1a8ffd5e32a53fb5a08c3877;p=gcc.git

gnat_rm.texi, [...]: Minor comment/text fixes.

2013-07-05  Robert Dewar  <dewar@adacore.com>

	* gnat_rm.texi, sem_prag.adb: Minor comment/text fixes.

From-SVN: r200697
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 26d7be15e69..01d84ba0d11 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2013-07-05  Robert Dewar  <dewar@adacore.com>
+
+	* gnat_rm.texi, sem_prag.adb: Minor comment/text fixes.
+
 2013-07-05  Robert Dewar  <dewar@adacore.com>
 
 	* gnat_rm.texi: Add missing doc for various pragmas.
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 11d81862bee..312e0a8ca3d 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -5540,6 +5540,12 @@ semantics are identical to pragma Atomic.
 @node Pragma Short_Circuit_And_Or
 @unnumberedsec Pragma Short_Circuit_And_Or
 @findex Short_Circuit_And_Or
+@noindent
+Syntax:
+
+@smallexample @c ada
+pragma Short_Circuit_And_Or;
+@end smallexample
 
 @noindent
 This configuration pragma causes any occurrence of the AND operator applied to
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 233f83fbbda..553ce2131dd 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -5997,6 +5997,8 @@ package body Sem_Prag is
          Check_No_Identifiers;
          Check_At_Least_N_Arguments (1);
 
+         --  Check all arguments are names of generic units or instances
+
          Arg := Arg1;
          while Present (Arg) loop
             Exp := Get_Pragma_Arg (Arg);
@@ -16059,6 +16061,8 @@ package body Sem_Prag is
          -- Short_Circuit_And_Or --
          --------------------------
 
+         --  pragma Short_Circuit_And_Or;
+
          when Pragma_Short_Circuit_And_Or =>
             GNAT_Pragma;
             Check_Arg_Count (0);
@@ -16069,7 +16073,9 @@ package body Sem_Prag is
          -- Share_Generic --
          -------------------
 
-         --  pragma Share_Generic (NAME {, NAME});
+         --  pragma Share_Generic (GNAME {, GNAME});
+
+         --  GNAME ::= generic_unit_NAME | generic_instance_NAME
 
          when Pragma_Share_Generic =>
             GNAT_Pragma;