From: Piotr Trojanek <trojanek@adacore.com>
Date: Fri, 9 Oct 2020 12:27:08 +0000 (+0200)
Subject: [Ada] Fix inconsistent parameter of SPARK_Msg_NE
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=607695354a57bce732b027828614bceda0e393eb;p=gcc.git

[Ada] Fix inconsistent parameter of SPARK_Msg_NE

gcc/ada/

	* sem_prag.adb (Analyze_Global_Item): Call SPARK_Msg_NE with the
	entity, not with its identifier.
---

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index a46f52f0838..2ccaaa2e97a 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -2385,7 +2385,7 @@ package body Sem_Prag is
 
                   if Ekind (Item_Id) in Named_Kind then
                      SPARK_Msg_NE
-                       ("\named number & is not an object", Item, Item);
+                       ("\named number & is not an object", Item, Item_Id);
                   end if;
 
                   return;