diff options
author | Elisa Barboni <barboni@adacore.com> | 2018-09-26 09:20:10 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-09-26 09:20:10 +0000 |
commit | 1899cb68445dfc4726b17f3db81df0f2a41cb916 (patch) | |
tree | 906c0a945e39c42af5df8ac6532e24228256c735 | |
parent | def15641da84fb82adfeb946c6d714683148e6e3 (diff) | |
download | gcc-1899cb68445dfc4726b17f3db81df0f2a41cb916.zip gcc-1899cb68445dfc4726b17f3db81df0f2a41cb916.tar.gz gcc-1899cb68445dfc4726b17f3db81df0f2a41cb916.tar.bz2 |
[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
-rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/ada/sem_prag.adb | 5 |
2 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 38354ec..a45e0b8 100644 --- 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 bc91411..7a71f53 100644 --- 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; |