From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2100) id 5535D393C85A; Sat, 22 Aug 2020 23:21:58 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 5535D393C85A DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1598138518; bh=sf+kGC/S3FwD4NMovfDYrEeAPqiv+kUdIJczyOUH3Wc=; h=From:To:Subject:Date:From; b=xWJ+WYJv2glWjFDvCp1QCBnyFgpinKRdXVnm4u5eoxKiuCxFK/zPCVs9W4zrkqIPP eyWofOHdkPZuBj70lbJYFEq59NMQGbHGujjoQehFBidT43nGy2MCykcwEDx029cC2/ 22rVTr0r+3KpSrVq09gRClLYIi3DQXnu6xEcOaec= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Giuliano Belinassi To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/autopar_devel] [Ada] Ada2020: AI12-0198 potentially unevaluated components of arrays X-Act-Checkin: gcc X-Git-Author: Javier Miranda X-Git-Refname: refs/heads/devel/autopar_devel X-Git-Oldrev: db0b39126b05577986e64c60d2d397b9a481847b X-Git-Newrev: af0f28029dd68c9a2c6dcaf774fb2f3943285270 Message-Id: <20200822232158.5535D393C85A@sourceware.org> Date: Sat, 22 Aug 2020 23:21:58 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 22 Aug 2020 23:21:58 -0000 https://gcc.gnu.org/g:af0f28029dd68c9a2c6dcaf774fb2f3943285270 commit af0f28029dd68c9a2c6dcaf774fb2f3943285270 Author: Javier Miranda 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)))