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: 60913 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 560EF3947C3A for ; Mon, 21 Nov 2022 10:16:17 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 560EF3947C3A DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1669025777; 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=Zc05637ltC4gILx5DU4SX4eSUwoso/eDLnhu5/DYmdN+bGWCOaYNX2xUhVJlzVEtJ SVFkJ5/SRw9pOeAt5kOYA2S7ZceuNeiiJZvYQvernLzjrzrZnfNWpVrmbtj4ZG0qYc bvPvzeBekxHzfpIaxN9Wm8Nc745wcZnT1imbVLS8= 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-Google-Smtp-Source: AA0mqf4d09OTzwc10cJlu7tIwGaewD6nVtf7M04LvOrUJZ7T+BaX6FHMIgwjoyA6ViM41AboXdUU7A== 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+patchwork=sourceware.org@gcc.gnu.org Sender: "Gcc-patches" 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;