[Ada] SPARK: minor error message enhancement

2018-09-26  Elisa Barboni  <barboni@adacore.com>

gcc/ada/

	* sem_prag.adb (Check_Refined_Global_Item): Improve error
	message.

From-SVN: r264637

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 38354ec10f2f24d745734b4dda82fa9aa40ec8e1..a45e0b8bc4dd4f6f05ceeb47dcefc36abf40d5aa 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2018-09-26  Elisa Barboni  <barboni@adacore.com>
+
+       * sem_prag.adb (Check_Refined_Global_Item): Improve error
+       message.
+
 2018-09-26  Thomas Quinot  <quinot@adacore.com>
 
        * sem_ch13.adb (Inherit_Aspects_At_Freeze_Point): For a

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index bc914119afa97ee582d1f93e9bd77aa8da36e3c0..7a71f533a43ced848b6bea22a29a8f4b7723056a 100644 (file)
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -27730,7 +27730,10 @@ package body Sem_Prag is
                --  it must be an extra (SPARK RM 7.2.4(3)).
 
                else
-                  SPARK_Msg_NE ("extra global item &", Item, Item_Id);
+                  pragma Assert (Present (Global));
+                  Error_Msg_Sloc := Sloc (Global);
+                  SPARK_Msg_NE ("extra global item & does not refine or " &
+                                "repeat any global item #", Item, Item_Id);
                end if;
             end if;
          end Check_Refined_Global_Item;