From 607695354a57bce732b027828614bceda0e393eb Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Fri, 9 Oct 2020 14:27:08 +0200 Subject: [PATCH] [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. --- gcc/ada/sem_prag.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- 2.30.2