From cacf87ce6c6f7c35c9e10ce635076481912ba092 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Wed, 14 Nov 2018 11:40:35 +0000 Subject: [PATCH] [Ada] Record components do not appear in the Global contract 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. 2018-11-14 Piotr Trojanek gcc/ada/ * sem_util.adb (First_From_Global_List): Do not expect N_Selected_Component in the Global contract; simplify assertion with Nam_In. From-SVN: r266113 --- gcc/ada/ChangeLog | 6 ++++++ gcc/ada/sem_util.adb | 11 +++++------ 2 files changed, 11 insertions(+), 6 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 04caf7a5a5e..b1531d1c928 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2018-11-14 Piotr Trojanek + + * sem_util.adb (First_From_Global_List): Do not expect + N_Selected_Component in the Global contract; simplify assertion + with Nam_In. + 2018-11-14 Piotr Trojanek * sem_ch12.adb (Instantiate_Object): Set diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index f4b6579b34c..430c0c66b6a 100644 --- a/gcc/ada/sem_util.adb +++ b/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. -- 2.30.2