From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2100) id 29F2C393C85A; Sat, 22 Aug 2020 23:21:48 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 29F2C393C85A DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1598138508; bh=LJq5VqFVa+LZSh9CWaL2oXXmvrdLWCoFlB09eqSClLY=; h=From:To:Subject:Date:From; b=wvKKG0BJc6PwoMkEN18euqpeD5xTljtxV1HkvgsT567lZZ1GXvDkIDqAWsqQSasCI 1VhOdvb9bG42zrydZCv7D3TrOojDcA74cl+oAYfk91S4laFsoDBAE5+CfNG3LmewBy 8YHaZDOksJk+MfnWL1w7BLy4bj57YshQjZJe7FV0= 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] Freeze aspect expression relocated to pragma Precondition X-Act-Checkin: gcc X-Git-Author: Piotr Trojanek X-Git-Refname: refs/heads/devel/autopar_devel X-Git-Oldrev: 21fed8c63044f7f38bb508246d3f6ed0e50fd6d7 X-Git-Newrev: 270ebb690969187852e140c0a1bdb292ed4129af Message-Id: <20200822232148.29F2C393C85A@sourceware.org> Date: Sat, 22 Aug 2020 23:21:48 +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:48 -0000 https://gcc.gnu.org/g:270ebb690969187852e140c0a1bdb292ed4129af commit 270ebb690969187852e140c0a1bdb292ed4129af Author: Piotr Trojanek Date: Tue May 12 21:17:08 2020 +0200 [Ada] Freeze aspect expression relocated to pragma Precondition gcc/ada/ * contracts.adb (Analyze_Entry_Or_Subprogram_Contract, Process_Preconditions_For): Freeze expression that has been relocated to pragma Precondition, not the expression which is still in the aspect. Diff: --- gcc/ada/contracts.adb | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index 99313348b27..50d842244c1 100644 --- a/gcc/ada/contracts.adb +++ b/gcc/ada/contracts.adb @@ -653,7 +653,9 @@ package body Contracts is Freeze_Expr_Types (Def_Id => Subp_Id, Typ => Standard_Boolean, - Expr => Expression (Corresponding_Aspect (Prag)), + Expr => + Expression + (First (Pragma_Argument_Associations (Prag))), N => Bod); end if; @@ -2603,7 +2605,9 @@ package body Contracts is Freeze_Expr_Types (Def_Id => Subp_Id, Typ => Standard_Boolean, - Expr => Expression (Corresponding_Aspect (Prag)), + Expr => + Expression + (First (Pragma_Argument_Associations (Prag))), N => Body_Decl); end if;