From 2e724314af6587d9833bc0ec1b10c9e24206b311 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Tue, 12 May 2020 21:17:08 +0200 Subject: [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. --- gcc/ada/contracts.adb | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'gcc') diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index 9931334..50d8422 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; -- cgit v1.1