[gcc r15-6620] ada: Preserve Warning_Doc_Switch in gnatprove invocation

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:c5ce2451324b643fefdaf2f463958b6d82010541

commit r15-6620-gc5ce2451324b643fefdaf2f463958b6d82010541
Author: Johannes Kanig <ka...@adacore.com>
Date:   Tue Dec 3 19:53:28 2024 +0900

    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

Diff:
---
 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