From patchwork Mon Nov 21 10:14:10 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: =?utf-8?q?Marc_Poulhi=C3=A8s?= X-Patchwork-Id: 23645 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:adf:f944:0:0:0:0:0 with SMTP id q4csp1494465wrr; Mon, 21 Nov 2022 02:18:41 -0800 (PST) X-Google-Smtp-Source: AA0mqf6TIa+F8JRX/s9iV+jSAvtfy38gibgL29HdtGwkBDo6TjwHoJuCnrM1XuFt6UhKz7EkTUgc X-Received: by 2002:a05:6402:2409:b0:45c:935b:ae15 with SMTP id t9-20020a056402240900b0045c935bae15mr15339001eda.357.1669025921237; Mon, 21 Nov 2022 02:18:41 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1669025921; cv=none; d=google.com; s=arc-20160816; b=ufrwQUo11LkzKz+cKF5bAEGwgGJPFxJI4og6ZhOenKdN61NVlc238d6GrkDCRznooz wioMQUFrYYChmRYmqNHUIIdyzB8UUZ81mOOQT+VDsBAbzT2pkVAaJxIl5dCY1v1W160m Kch+H+Mb58GZ0tifrBg0UXcHMHKqDHJ7x+i8O5bWgFf3UaOhpr8tXpG7cax3PBX3bijO QOF4vquTks3XedtjtFvtX11YLRvvzYqA7z8wP1ZCMXoIRQdCBsHvuUqVcKDEN0ZeHXqm Q0zUsuDpX3WOhAyJJuSGliqM7YpQzp+a3GRtgbonrvBg4tgAUjDP7eVnkmcWAU4kNxxz vZzQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:reply-to:from:list-subscribe:list-help:list-post :list-archive:list-unsubscribe:list-id:precedence :content-transfer-encoding:mime-version:message-id:date:subject:cc :to:dmarc-filter:delivered-to:dkim-signature:dkim-filter; bh=DZ8bBc+9A8jjN8s8BBkdqHLddEBgsSrFgziVezH6frY=; b=MJRrmfzn2jWnyEEOhIon66l1z248kz3H4w49DPlT+HtpFQkLE/ZcP3Xeq2d2+y4Nqt fiOc4KWKXFsnvN6ras2XrdnKUhdFmqFJ6mAHLt7HiF1wLBW4W8paueY7tnwp8F+A0SEn oOnNmOgC40IApXk9bnhJTbJsDuCbWghuPaLPwsTSvIDjQ/pHR/6jZgV32jvbRhC3Y7wo e0MVjTSFQx8nPa2wkoYq5z7/dACgkI3sF0kOwWcQccB1H1pWS90NeIGGd0kZFsN35ivz bnmNAxHrBPN5PsUkyts846v1IMfcKo2eoLNSd7Z8ni1Dahf+G+RPKaniRkKwGVachjME EV1w== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=AWprCfEq; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id n21-20020aa7c695000000b00469af6681b1si980483edq.183.2022.11.21.02.18.41 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 21 Nov 2022 02:18:41 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; Authentication-Results: mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=AWprCfEq; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 88788384F486 for ; Mon, 21 Nov 2022 10:16:33 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 88788384F486 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1669025793; bh=DZ8bBc+9A8jjN8s8BBkdqHLddEBgsSrFgziVezH6frY=; h=To:Cc:Subject:Date:List-Id:List-Unsubscribe:List-Archive: List-Post:List-Help:List-Subscribe:From:Reply-To:From; b=AWprCfEqzJA4uHxF23u1bniFdn3AvbxbtzjhmV5Lvjqby+pOMYiXblLlppaAvNG8f z3yuIHn5TaQkCnzJ5bkRzKw9Nt3WwChDU6hUP1bwqgUUptBv3O8zBE7Fhz4m728Sj5 Y5SkRtQwasT9csyAz/IiPxzXjHHF3knRm7Vu8iqE= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wr1-x435.google.com (mail-wr1-x435.google.com [IPv6:2a00:1450:4864:20::435]) by sourceware.org (Postfix) with ESMTPS id 7B0513832361 for ; Mon, 21 Nov 2022 10:14:14 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 7B0513832361 Received: by mail-wr1-x435.google.com with SMTP id v1so19044250wrt.11 for ; Mon, 21 Nov 2022 02:14:14 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=DZ8bBc+9A8jjN8s8BBkdqHLddEBgsSrFgziVezH6frY=; b=yy4K2NlunrANZioPJ0p3FtHhRA6D3eADZSkd6qN9xRFKjqJQBerwk8y+WiedL0l9lg y6gj+SH9Ge9TZ0JiaGHT2oxhYzfFNHMV/WrXjSIj10R6ai0RpzMWweEFTcSmbj+6Esbe MBSfKA7dNBYdhrJ2ylX0RIUzLz1Jhr0jrAGVyRINjTSl1oZRrEz0kYt8d30+1bWmLMss TPAonoh7GnO4X/Q1wAWnMh/gmnRfr01w8w+n8HDCVQWttLdgCsdq+2aZDFNQz1tWSmS6 Q6vd05aB/RWKm05SlMnPWXTIBSXTTKsFh2iajI9CV4hPa7PMEDSqh3M9EBw/ManQSDDK 0mOg== X-Gm-Message-State: ANoB5pkLsQCTYCHklcxP7hCWYFWEGhFVl+Yrfva1bfSM+lAETYZpHWxm pou+xYiJW5yQA9N0Z88pAZ6SOXji7jCLpQ== X-Received: by 2002:a05:6000:5c6:b0:241:cb36:9dbf with SMTP id bh6-20020a05600005c600b00241cb369dbfmr4697002wrb.504.1669025653236; Mon, 21 Nov 2022 02:14:13 -0800 (PST) Received: from localhost.localdomain (static-176-191-105-132.ftth.abo.bbox.fr. [176.191.105.132]) by smtp.gmail.com with ESMTPSA id n21-20020a05600c4f9500b003cfd64b6be1sm23105172wmq.27.2022.11.21.02.14.12 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 21 Nov 2022 02:14:12 -0800 (PST) To: gcc-patches@gcc.gnu.org Cc: Ghjuvan Lacambre Subject: [COMMITTED] ada: Disable subprogram call validation in CodePeer mode Date: Mon, 21 Nov 2022 11:14:10 +0100 Message-Id: <20221121101410.259273-1-poulhies@adacore.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 X-Spam-Status: No, score=-13.4 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: =?utf-8?q?Marc_Poulhi=C3=A8s_via_Gcc-patches?= From: =?utf-8?q?Marc_Poulhi=C3=A8s?= Reply-To: =?utf-8?q?Marc_Poulhi=C3=A8s?= Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org Sender: "Gcc-patches" X-getmail-retrieved-from-mailbox: =?utf-8?q?INBOX?= X-GMAIL-THRID: =?utf-8?q?1750100524315222608?= X-GMAIL-MSGID: =?utf-8?q?1750100524315222608?= From: Ghjuvan Lacambre CodePeer builds with assertions enabled started failing when this validation was introduced. We temporarily disable this validation for CodePeer in order to buy time before fixing the underlying issue. gcc/ada/ * frontend.adb (Frontend): Disable subprogram call validation. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/frontend.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index 033ecf3b7be..bc3da30b0cf 100644 --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -531,7 +531,7 @@ begin -- formals). It is invoked using pragma Debug to avoid adding any cost -- when the compiler is built with assertions disabled. - if not Debug_Flag_Underscore_XX then + if not Debug_Flag_Underscore_XX and then not CodePeer_Mode then pragma Debug (Exp_Ch6.Validate_Subprogram_Calls (Cunit (Main_Unit))); end if;