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.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* sem_res.adb (Flag_Effectively_Volatile_Objects): Ignore
component and discriminant identifiers.diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
--- 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),
