Message ID | 20250107125350.619654-2-poulhies@adacore.com |
---|---|
State | New |
Headers |
Return-Path: <gcc-patches-bounces~patchwork=sourceware.org@gcc.gnu.org> 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 805E4385DC0D for <patchwork@sourceware.org>; Tue, 7 Jan 2025 12:58:13 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 805E4385DC0D Authentication-Results: sourceware.org; dkim=pass (2048-bit key, secure) header.d=adacore.com header.i=@adacore.com header.a=rsa-sha256 header.s=google header.b=K0fQurnl X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wm1-x330.google.com (mail-wm1-x330.google.com [IPv6:2a00:1450:4864:20::330]) by sourceware.org (Postfix) with ESMTPS id 04D8F385609E for <gcc-patches@gcc.gnu.org>; Tue, 7 Jan 2025 12:54:10 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 04D8F385609E Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 04D8F385609E Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::330 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1736254450; cv=none; b=d2F8j/iH5ObTqRyYBsA0aMpIovWEMLpnQ5/x+Od6KsU8cfpjgqvDBPv8obTx/aJg2pICUfI1sBPGyM3U8Y8hu8kiGGi7Dxclf370x2I/+LPn7iZNYwDmtiA3Nw4szVAejeXQbd0VxDNlo7jO6MZPbFK5Rr6tTMV9/jPFAs9D+os= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1736254450; c=relaxed/simple; bh=zWaF2rkJprjO9b+mLrf4f54OdJW0Q2AOSzZrY+9t77Y=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=FHudBaRh/J0uYLRSQQBPLxUQWbe7LZm+zr4nVnWyqG9zvC0I5HsMC2E9ZNvHq1qzW1HmM86CfDrco9+TG+0NBeX8G4Z00lMR3gUfGzwSzB72gF3CTZ2rkfiw5i2XSosufiyGBw1jESreANlHkfiZmwAi7RZwPGWABXQFPqqBEeM= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 04D8F385609E Received: by mail-wm1-x330.google.com with SMTP id 5b1f17b1804b1-43624b2d453so159551365e9.2 for <gcc-patches@gcc.gnu.org>; Tue, 07 Jan 2025 04:54:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1736254448; x=1736859248; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=Al5HCkn8XpBle0fXvdYBnhC8N3wCu5V9dEgL1w8n/NM=; b=K0fQurnl9bnlvc+XxK426xycVQc7djoUO1XvEguc/OuKWraNpLfwlUvPtb2ZAgIPMo r1EWm5cFq1R0TVFNk+hrEVFSTgioOiy+pb7WTx2NPFHrzq5WRMB6f0GV6RE2kPLmtk+9 bsJVGz4hgshAdWu3ZNIHrAc7kMz3RTweDdwqyQ35vYx/GVwm/eQZ0gaQ9JaxhPgk9ygk 3El9n0Lei056JArjZLVqNssrGOF8Y9gJyZmggGRotRovIMMGgwLmyDf4Dcs2AS6MN6Sg Q2ba6k+6q784+9mF+XuUCfpZFyLeV4Wi2tPEBQKOquswfa/MdUKLM9bXoI3e6BEZl+yx ArzQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1736254449; x=1736859249; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=Al5HCkn8XpBle0fXvdYBnhC8N3wCu5V9dEgL1w8n/NM=; b=t4IsK/wIfh39TMaFoOnox1YsHu1jEeW1vNhuKvgK/sIkfYFRlbTHeY6HY8xbZElRt0 uyoYCYrPZAwgfjHB8GlkUMc3fRAV7nsVYDm6Ub/K3v+QXHLvEZobecjkiGS4+LJ84qs+ WvZHK0qSDfku20mp1lVPoOhrZt9QKxFdbs+pVNsFcC6X8FEmKY1hYmX83MO5ggp06wub BKkJ9+meFrwcrU/BVB6TzAH3GsZ8zk5CnrnvelzLNZsDXfWMaqVNlw69bIxIXbb4IkYW Y/doRvupRpRGiL2Fv6MyqJWxVm38gR5ftA+JK1As2L29wXIVL287YmaoaP3/mZRGCRMM SRJQ== X-Gm-Message-State: AOJu0Yyaq03NrSpQPF/0IROQ6djltHfiEOHx7yILwItDL0+ifOwBrhsA gaREzXTRHcFsQuYIOS77O9dt3lq49/u12RRojIVol/Augg2urZINn/tEGzbB7xvktOgGfZeTFmc = X-Gm-Gg: ASbGnctKJjBb/vbjly/JxfioYhqd5DsF0iSolMpsoobsK4DLBhrXa6cceXOrvNs3v47 hP6e5KO3YQAWycgu1ahRVdazyzlOO2FHzGI6tWuu98Ozh4ftxyll8z1XFHByyKTCBdZmBUcstWh e6RPaSNN39a1+gIfnlB8xTSIKJT3TaASoKi6H2EJiB4vH1cJ1NCiVWN/RrcE+s9y9kbQnX9UalR NmxpgO4w5q2hH0G2z3kLCvpTMOlreSlndZa+vHHiWtINNfy/6s3xBzKQhr7owEsD5JqLqc+6nRm /vUwO6m0zeXdy2CeukSzr1UqlL3pz0zHWxoqGOo74SfnMKeetHNOcCiuopKKxD1wjG1Hac3H X-Google-Smtp-Source: AGHT+IE4wk+TI/g2vCtICaKvZjcOCSSQDHYQIP7Q/Kn0liz8AQWu00vossGbra2cGP13f6aez9twKQ== X-Received: by 2002:a05:600c:474d:b0:436:18d0:aa6e with SMTP id 5b1f17b1804b1-4366835c14fmr528721655e9.5.1736254448648; Tue, 07 Jan 2025 04:54:08 -0800 (PST) Received: from poulhies-Precision-5550.telnowedge.local (lmontsouris-659-1-24-67.w81-250.abo.wanadoo.fr. [81.250.175.67]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-43656af6c42sm631014805e9.9.2025.01.07.04.54.07 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 07 Jan 2025 04:54:07 -0800 (PST) From: =?utf-8?q?Marc_Poulhi=C3=A8s?= <poulhies@adacore.com> To: gcc-patches@gcc.gnu.org Cc: Johannes Kanig <kanig@adacore.com> Subject: [COMMITTED 02/31] ada: Preserve Warning_Doc_Switch in gnatprove invocation Date: Tue, 7 Jan 2025 13:53:20 +0100 Message-ID: <20250107125350.619654-2-poulhies@adacore.com> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20250107125350.619654-1-poulhies@adacore.com> References: <20250107125350.619654-1-poulhies@adacore.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-13.7 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.30 Precedence: list List-Id: Gcc-patches mailing list <gcc-patches.gcc.gnu.org> List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-patches>, <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe> List-Archive: <https://gcc.gnu.org/pipermail/gcc-patches/> List-Post: <mailto:gcc-patches@gcc.gnu.org> List-Help: <mailto:gcc-patches-request@gcc.gnu.org?subject=help> List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-patches>, <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe> Errors-To: gcc-patches-bounces~patchwork=sourceware.org@gcc.gnu.org |
Series |
[COMMITTED,01/31] ada: Restrict previous change made to expansion of allocators
|
|
Commit Message
Marc Poulhiès
Jan. 7, 2025, 12:53 p.m. UTC
From: Johannes Kanig <kanig@adacore.com>
When invoked by gnat2why, the Warning_Doc_Switch was unintenionally
reset.
gcc/ada/ChangeLog:
* gnat1drv.adb: (SPARK_Library_Warning): preserve Warning_Doc_Switch
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/gnat1drv.adb | 2 ++
1 file changed, 2 insertions(+)
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 120de4afb71..39aa89c43a3 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -523,6 +523,8 @@ procedure Gnat1drv is Restore_Warnings ((Warnings_Package.Elab_Warnings => True, Warnings_Package.Warn_On_Suspicious_Contract => True, + Warnings_Package.Warning_Doc_Switch => + Warnsw.Warning_Doc_Switch, others => False)); -- Suppress the generation of name tables for enumerations, which are