projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6ddbac) | patch
[Ada] Fix detection of volatile properties in SPARK
authorYannick Moy <moy@adacore.com>
Wed, 27 May 2020 14:46:27 +0000 (16:46 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 10 Jul 2020 09:16:20 +0000 (05:16 -0400)
commitc3026d451dacabecc7ff42b5b81deaf420d758aa
treedc83577d123b42f951afab50a953dfde38342386tree | snapshot
parenta6ddbacd3ad9e3a34f77311dbb136d977c79e607commit | diff
[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 diff | blob | history
Domain: System / Toolchain;