From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Wed, 3 Aug 2011 09:27:50 +0000 (+0200)
Subject: [multiple changes]
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c565bc662885e6499424f898701924445d62c2f7;p=gcc.git

[multiple changes]

2011-08-03  Emmanuel Briot  <briot@adacore.com>

	* prj-tree.ads: Remove unused variable.

2011-08-03  Yannick Moy  <moy@adacore.com>

	* restrict.adb (Restriction_Msg): set "SPARK" all in upper case for
	issuing messages related to SPARK restriction violation.

From-SVN: r177246
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 9fb4ce894da..111f819be81 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,12 @@
+2011-08-03  Emmanuel Briot  <briot@adacore.com>
+
+	* prj-tree.ads: Remove unused variable.
+
+2011-08-03  Yannick Moy  <moy@adacore.com>
+
+	* restrict.adb (Restriction_Msg): set "SPARK" all in upper case for
+	issuing messages related to SPARK restriction violation.
+
 2011-08-03  Ed Schonberg  <schonberg@adacore.com>
 
 	* sem_ch6.adb: guard against error nodes in return statements.
diff --git a/gcc/ada/prj-tree.ads b/gcc/ada/prj-tree.ads
index f24c4060cfa..5bb123f7c56 100644
--- a/gcc/ada/prj-tree.ads
+++ b/gcc/ada/prj-tree.ads
@@ -1464,10 +1464,6 @@ package Prj.Tree is
       --  project-tree specific so that one can load the same tree twice but
       --  have two views of it, for instance.
 
-      Target_Name : String_Access := null;
-      --  The target name, if any, specified with the gprbuild or gprclean
-      --  switch --target=.
-
       Project_Path : aliased Prj.Env.Project_Search_Path;
       --  The project path is tree specific, since we might want to load
       --  simultaneously multiple projects, each with its own search path, in
diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb
index fdc243cdd6a..44e3b5fda62 100644
--- a/gcc/ada/restrict.adb
+++ b/gcc/ada/restrict.adb
@@ -715,9 +715,10 @@ package body Restrict is
 
       procedure Id_Case (S : String; Quotes : Boolean := True);
       --  Given a string S, case it according to current identifier casing,
-      --  and store in Error_Msg_String. Then append `~` to the message buffer
-      --  to output the string unchanged surrounded in quotes. The quotes are
-      --  suppressed if Quotes = False.
+      --  except for SPARK (an acronym) which is set all upper case, and store
+      --  in Error_Msg_String. Then append `~` to the message buffer to output
+      --  the string unchanged surrounded in quotes. The quotes are suppressed
+      --  if Quotes = False.
 
       --------------
       -- Add_Char --
@@ -747,7 +748,13 @@ package body Restrict is
       begin
          Name_Buffer (1 .. S'Last) := S;
          Name_Len := S'Length;
-         Set_Casing (Identifier_Casing (Get_Source_File_Index (Sloc (N))));
+
+         if R = SPARK then
+            Set_All_Upper_Case;
+         else
+            Set_Casing (Identifier_Casing (Get_Source_File_Index (Sloc (N))));
+         end if;
+
          Error_Msg_Strlen := Name_Len;
          Error_Msg_String (1 .. Name_Len) := Name_Buffer (1 .. Name_Len);