From c5ce2451324b643fefdaf2f463958b6d82010541 Mon Sep 17 00:00:00 2001
From: Johannes Kanig <kanig@adacore.com>
Date: Tue, 3 Dec 2024 19:53:28 +0900
Subject: [PATCH] ada: Preserve Warning_Doc_Switch in gnatprove invocation
When invoked by gnat2why, the Warning_Doc_Switch was unintenionally
reset.
gcc/ada/ChangeLog:
* gnat1drv.adb: (SPARK_Library_Warning): preserve Warning_Doc_Switch
---
gcc/ada/gnat1drv.adb | 2 ++
1 file changed, 2 insertions(+)
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb
index 120de4afb71f..39aa89c43a31 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
--
GitLab