From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-wr1-x435.google.com with SMTP id v1so19044250wrt.11 for ; Mon, 21 Nov 2022 02:14:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=DZ8bBc+9A8jjN8s8BBkdqHLddEBgsSrFgziVezH6frY=; b=kyyl6GgXbStrc6DWPnd0tpUhUeLXzR+TkJvh/w+FNtoprGQk9Q2rhO+g+C/sqekmex eSrBJjRPq7xn2Tvi7I196j7h3lI+ySVA1WR4sEeR6sBOZapDv3Q8SLBfZb66ZLS2w2FP aEgTio+jza7y7EftdCUJsu+B1nm02vnnPjCvZ5QbMam4MrRCl5nQ5fbtnt104uoVqRoV j4JwF//UHw3Fjuf4vhAZYevanVEz1knYwZm6sMMU6R1q/ZZdx6898WUnpvtLabkFmIGe EJYbyy4NKXdIMrmMT2gryfyHZYB8Oros+TBZx8t7mFG8aSIJENH81YPdFsu13W185gvW ZvXg== 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) From: =?UTF-8?q?Marc=20Poulhi=C3=A8s?= 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 Content-Transfer-Encoding: 8bit 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 List-Id: 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; -- 2.34.1