diff options
| author | Yannick Moy <moy@adacore.com> | 2020-05-27 16:46:27 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-10 05:16:20 -0400 |
| commit | c3026d451dacabecc7ff42b5b81deaf420d758aa (patch) | |
| tree | dc83577d123b42f951afab50a953dfde38342386 /gcc/gdbhooks.py | |
| parent | a6ddbacd3ad9e3a34f77311dbb136d977c79e607 (diff) | |
| download | gcc-c3026d451dacabecc7ff42b5b81deaf420d758aa.zip gcc-c3026d451dacabecc7ff42b5b81deaf420d758aa.tar.gz gcc-c3026d451dacabecc7ff42b5b81deaf420d758aa.tar.bz2 | |
[Ada] Fix detection of volatile properties in SPARK
gcc/ada/
* sem_util.adb (Has_Enabled_Property): Add handling of
non-variable objects.
Diffstat (limited to 'gcc/gdbhooks.py')
0 files changed, 0 insertions, 0 deletions