diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-10-09 14:27:08 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-24 05:16:07 -0500 |
| commit | 607695354a57bce732b027828614bceda0e393eb (patch) | |
| tree | 1157ba4cc44e02f7a53013e6a66b3206529e3790 /gcc | |
| parent | eafca96ffb53fdd805193635fda8b1e718532f2a (diff) | |
| download | gcc-607695354a57bce732b027828614bceda0e393eb.zip gcc-607695354a57bce732b027828614bceda0e393eb.tar.gz gcc-607695354a57bce732b027828614bceda0e393eb.tar.bz2 | |
[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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index a46f52f..2ccaaa2 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; |