From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7871) id 4424F385841D; Mon, 14 Nov 2022 13:51:18 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 4424F385841D DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1668433878; bh=sqYr0z/+vcWESExf5mGr4yAMgc5VWJoX2/k8Mk/3AVY=; h=From:To:Subject:Date:From; b=JmJ/FsnJyHJdqZvoHDRsaDcoUfGJ9ceWW4hFKHIQUs4LM+uIgOKvuPvvNnuViXphe /kdM/4JOU8hGlzzfpkraA0e6RvwKdeB4Z8EjSdVETGsnAli2EPYDdFwjfcPqfVWdhX aH6aSEomNEUxNG77EjqsoKqM1GBTqn2MrxcYBKBE= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Marc Poulhi?s To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-4008] ada: Expand generic formal subprograms with contracts for GNATprove X-Act-Checkin: gcc X-Git-Author: Piotr Trojanek X-Git-Refname: refs/heads/master X-Git-Oldrev: eba0e79739847cf07d1efd5c1c7bc0ab0d4133d1 X-Git-Newrev: fe02d7d9135083ed157886913b4a83ebc88e987c Message-Id: <20221114135118.4424F385841D@sourceware.org> Date: Mon, 14 Nov 2022 13:51:18 +0000 (GMT) List-Id: https://gcc.gnu.org/g:fe02d7d9135083ed157886913b4a83ebc88e987c commit r13-4008-gfe02d7d9135083ed157886913b4a83ebc88e987c Author: Piotr Trojanek Date: Fri Oct 28 20:28:45 2022 +0200 ada: Expand generic formal subprograms with contracts for GNATprove In GNATprove mode generic formal subprograms with Pre/Post contracts are now expanded into wrappers, just like in ordinary compilation. gcc/ada/ * sem_ch12.adb (Analyze_Associations): Expand wrappers for GNATprove. Diff: --- gcc/ada/sem_ch12.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb index 276656085be..7af365e49c9 100644 --- a/gcc/ada/sem_ch12.adb +++ b/gcc/ada/sem_ch12.adb @@ -1937,7 +1937,7 @@ package body Sem_Ch12 is -- take place e.g. within an enclosing generic unit. if Has_Contracts (Analyzed_Formal) - and then Expander_Active + and then (Expander_Active or GNATprove_Mode) then Build_Subprogram_Wrappers; end if;