In the Global contract there can be only entire objects, which are
represented either as N_Identifier or N_Expanded_Name. The test for
record components was dead. Now removed. Semantics unaffected.
Tested on x86_64-pc-linux-gnu, committed on trunk
2018-11-14 Piotr Trojanek <troja...@adacore.com>
gcc/ada/
* sem_util.adb (First_From_Global_List): Do not expect
N_Selected_Component in the Global contract; simplify assertion
with Nam_In.--- gcc/ada/sem_util.adb
+++ gcc/ada/sem_util.adb
@@ -8594,8 +8594,7 @@ package body Sem_Util is
-- Single global item declaration (only input items)
elsif Nkind_In (List, N_Expanded_Name,
- N_Identifier,
- N_Selected_Component)
+ N_Identifier)
then
if Global_Mode = Name_Input then
return List;
@@ -8648,10 +8647,10 @@ package body Sem_Util is
Body_Id : Entity_Id;
begin
- pragma Assert (Global_Mode = Name_Input
- or else Global_Mode = Name_Output
- or else Global_Mode = Name_In_Out
- or else Global_Mode = Name_Proof_In);
+ pragma Assert (Nam_In (Global_Mode, Name_Input,
+ Name_Output,
+ Name_In_Out,
+ Name_Proof_In));
-- Retrieve the suitable pragma Global or Refined_Global. In the second
-- case, it can only be located on the body entity.
