From 865ec5b024b21e3fe3fa764068f44ca315a7af63 Mon Sep 17 00:00:00 2001 From: Javier Miranda Date: Wed, 13 May 2020 06:24:59 -0400 Subject: [PATCH] [Ada] Ada2020: AI12-0198 potentially unevaluated components of arrays gcc/ada/ * sem_util.adb (Is_Potentially_Unevaluated): Code cleanup. --- gcc/ada/sem_util.adb | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 44ed3e61dac..2c9e274478e 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -17806,7 +17806,6 @@ package body Sem_Util is N_Or_Else, N_Quantified_Expression) and then not (Nkind (Par) = N_Aggregate - and then Present (Etype (Par)) and then Etype (Par) /= Any_Composite and then Is_Array_Type (Etype (Par))) loop @@ -17854,6 +17853,7 @@ package body Sem_Util is return Expr = Condition (Par); elsif Nkind (Par) = N_Aggregate + and then Etype (Par) /= Any_Composite and then Is_Array_Type (Etype (Par)) and then Nkind (Expr) = N_Component_Association then @@ -17874,7 +17874,6 @@ package body Sem_Util is return True; elsif Nkind (Choice) = N_Identifier - and then Present (Etype (Choice)) and then Present (Scalar_Range (Etype (Choice))) and then Non_Static_Or_Null_Range (Scalar_Range (Etype (Choice))) -- 2.30.2