[multiple changes]

2012-10-29  Arnaud Charlet  <charlet@adacore.com>

	* usage.adb: Update usage line for -gnatw.k.

2012-10-29  Yannick Moy  <moy@adacore.com>

	* sem_prag.adb: Code clean up.

From-SVN: r192924

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index cf29ed3021a6952680e5a57bc59bb234eb1dae56..d408c9557e1c1ce56028aaa75d9e213183878355 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,11 @@
+2012-10-29  Arnaud Charlet  <charlet@adacore.com>
+
+       * usage.adb: Update usage line for -gnatw.k.
+
+2012-10-29  Yannick Moy  <moy@adacore.com>
+
+       * sem_prag.adb: Code clean up.
+
 2012-10-29  Vincent Celier  <celier@adacore.com>
 
        * projects.texi: Clarify documentation of attribute

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 4af9a517185cdfdd96f962928eabc222e011e309..1b49eebbe7ea26d5553b00a3c60788da6ab9b672 100644 (file)
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -6759,9 +6759,9 @@ package body Sem_Prag is
             end if;
          end Annotate;
 
-         -----------------------------
-         -- Assert & Assert_And_Cut --
-         -----------------------------
+         ---------------------------
+         -- Assert/Assert_And_Cut --
+         ---------------------------
 
          --  pragma Assert ([Check =>] Boolean_EXPRESSION
          --                 [, [Message =>] Static_String_EXPRESSION]);
@@ -6774,7 +6774,13 @@ package body Sem_Prag is
             Newa : List_Id;
 
          begin
-            Ada_2005_Pragma;
+            if Prag_Id = Pragma_Assert then
+               Ada_2005_Pragma;
+
+            else -- Pragma_Assert_And_Cut
+               GNAT_Pragma;
+            end if;
+
             Check_At_Least_N_Arguments (1);
             Check_At_Most_N_Arguments (2);
             Check_Arg_Order ((Name_Check, Name_Message));
@@ -13679,9 +13685,9 @@ package body Sem_Prag is
             end;
          end Stream_Convert;
 
-         -------------------------
-         -- Style_Checks (GNAT) --
-         -------------------------
+         ------------------
+         -- Style_Checks --
+         ------------------
 
          --  pragma Style_Checks (On | Off | ALL_CHECKS | STRING_LITERAL);
 

diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb
index f5e07063cf0de862818406cfb2cc521253c84901..7c9c4023bbe92fe68a80b5d06fdb1643d1707fe2 100644 (file)
--- a/gcc/ada/usage.adb
+++ b/gcc/ada/usage.adb
@@ -474,7 +474,7 @@ begin
                                                   "(annex J) feature");
    Write_Line ("        k+   turn on warnings on constant variable");
    Write_Line ("        K*   turn off warnings on constant variable");
-   Write_Line ("        .k+  turn on warnings for standard redefinition");
+   Write_Line ("        .k   turn on warnings for standard redefinition");
    Write_Line ("        .K*  turn off warnings for standard redefinition");
    Write_Line ("        l    turn on warnings for missing " &
                                                   "elaboration pragma");