aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBob Duff <duff@adacore.com>2024-10-01 16:31:10 -0400
committerMarc Poulhiès <dkm@gcc.gnu.org>2024-10-25 11:09:03 +0200
commit12d625e3f01cfe375320aef4ff8095c50b91d709 (patch)
treece2559ad60eae0b6690a17c1689071108a7c67ab
parent58e34ecbe57586ebc3111e938ebcaa35b188f939 (diff)
downloadgcc-12d625e3f01cfe375320aef4ff8095c50b91d709.zip
gcc-12d625e3f01cfe375320aef4ff8095c50b91d709.tar.gz
gcc-12d625e3f01cfe375320aef4ff8095c50b91d709.tar.bz2
ada: Back out part of previous change -- disable warning
Temporarily disable the warning, because it breaks SPARK continuous builder gcc/ada/ChangeLog: * sem_ch10.adb (Analyze_With_Clause): Temporarily disable warning.
-rw-r--r--gcc/ada/sem_ch10.adb3
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch10.adb b/gcc/ada/sem_ch10.adb
index 6e4280b..202a44e 100644
--- a/gcc/ada/sem_ch10.adb
+++ b/gcc/ada/sem_ch10.adb
@@ -3039,7 +3039,8 @@ package body Sem_Ch10 is
-- Self-referential withs are always useless, so warn
- if Warn_On_Redundant_Constructs then
+ if Warn_On_Redundant_Constructs and then False then -- ???
+ -- Disable for now, because it breaks SPARK builds
Error_Msg_N ("unnecessary with of self?r?", N);
end if;