]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Fix detection of volatile properties in SPARK
authorYannick Moy <moy@adacore.com>
Wed, 27 May 2020 14:46:27 +0000 (16:46 +0200)
committerGiuliano Belinassi <giuliano.belinassi@usp.br>
Mon, 17 Aug 2020 16:17:11 +0000 (13:17 -0300)
commit5493032c5ffde0f2abe633702fdc60c783393f47
treeb29bfbfda7032e5833e7591eef0a3699c2ab69c7
parentde2f3677a5a180b58f1b743e7fc3be7b41c5a2af
[Ada] Fix detection of volatile properties in SPARK

gcc/ada/

* sem_util.adb (Has_Enabled_Property): Add handling of
non-variable objects.
gcc/ada/sem_util.adb