From: Johannes Kanig <ka...@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 -- 2.43.0