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 26d7be15e6900a01e44fa76649af6e4068543bd1..01d84ba0d11f5d8239b0d62bec056f2061e9318f 100644 (file)
--- 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 11d81862beeb34fa39870c8d3456e6a8e9e4b292..312e0a8ca3da39134e61aa1806df1be8d3a921ce 100644 (file)
--- 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 233f83fbbdafd53a0f5c56481c1951a8f9ac3994..553ce2131dde8b99aa8936c426e38c1e8ccbbfe5 100644 (file)
--- 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;