diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-02-16 12:13:57 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-13 08:04:26 +0000 |
| commit | 74ce1d5a6cbcf81e21b4c0eeee372df46c275df0 (patch) | |
| tree | 23febb1e46b1395198a0f3330d1790945867852c /gcc/ada/sem_ch3.adb | |
| parent | 7427e673d818be052fd07468c9dfdad3dbfe13b3 (diff) | |
| download | gcc-74ce1d5a6cbcf81e21b4c0eeee372df46c275df0.zip gcc-74ce1d5a6cbcf81e21b4c0eeee372df46c275df0.tar.gz gcc-74ce1d5a6cbcf81e21b4c0eeee372df46c275df0.tar.bz2 | |
[Ada] Accept effectively volatile components in actuals
In SPARK we forbid names that are effectively volatile for reading if
they occur in actual subprogram parameters. We wrongly rejected
references to components, which are not names in Ada.
gcc/ada/
* sem_res.adb (Flag_Effectively_Volatile_Objects): Ignore
component and discriminant identifiers.
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
0 files changed, 0 insertions, 0 deletions