From cacf87ce6c6f7c35c9e10ce635076481912ba092 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Wed, 14 Nov 2018 11:40:35 +0000 Subject: [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(-) (limited to 'gcc/ada') diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 04caf7a..b1531d1 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,11 @@ 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 Corresponding_Generic_Association on generic actuals with default expression. diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index f4b6579..430c0c6 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. -- cgit v1.1