projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eafca96) | patch
[Ada] Fix inconsistent parameter of SPARK_Msg_NE
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 9 Oct 2020 12:27:08 +0000 (14:27 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 24 Nov 2020 10:16:07 +0000 (05:16 -0500)
commit607695354a57bce732b027828614bceda0e393eb
tree1157ba4cc44e02f7a53013e6a66b3206529e3790tree
parenteafca96ffb53fdd805193635fda8b1e718532f2acommit | diff
[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 diff | blob | history