From a827194ca5b3196f4abdf821d455f2d779d232ef Mon Sep 17 00:00:00 2001 From: pmderodat 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@266113 138bc75d-0d04-0410-961f-82ee72b054a4 --- 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 04caf7a5a5eb..b1531d1c9282 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 f4b6579b34c9..430c0c66b6a5 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.47.2