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 | |
| 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.
| -rw-r--r-- | gcc/ada/sem_res.adb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 4ae0835..4306e49 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -3868,7 +3868,13 @@ package body Sem_Res is when N_Identifier | N_Expanded_Name => Id := Entity (N); + -- Identifiers of components and discriminants are not names + -- in the sense of Ada RM 4.1. They can only occur as a + -- selector_name in selected_component or as a choice in + -- component_association. + if Is_Object (Id) + and then Ekind (Id) not in E_Component | E_Discriminant and then Is_Effectively_Volatile_For_Reading (Id) and then not Is_OK_Volatile_Context (Context => Parent (N), |