[gcc/devel/autopar_devel] [Ada] Ada2020: AI12-0198 potentially unevaluated components of arrays

[Giuliano Belinassi <giulianob@gcc.gnu.org>]

https://gcc.gnu.org/g:af0f28029dd68c9a2c6dcaf774fb2f3943285270

commit af0f28029dd68c9a2c6dcaf774fb2f3943285270
Author: Javier Miranda <miranda@adacore.com>
Date:   Wed May 13 06:24:59 2020 -0400

    [Ada] Ada2020: AI12-0198 potentially unevaluated components of arrays
    
    gcc/ada/
    
            * sem_util.adb (Is_Potentially_Unevaluated): Code cleanup.

Diff:
---
 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)))