diff mbox series

[COMMITTED,01/31] ada: Disable new warning for composite equality ops that can raise Program_Error

Message ID 20250911091904.1505690-1-poulhies@adacore.com
State Committed
Commit 0e0b43564acabe38503c28620ed7e3595e14c9cf
Headers
Series [COMMITTED,01/31] ada: Disable new warning for composite equality ops that can raise Program_Error |

Commit Message

Marc Poulhiès Sept. 11, 2025, 9:18 a.m. UTC 
  From: Gary Dismukes <dismukes@adacore.com>

The new warning is spuriously flagged on membership tests in
vss-xml-implementation-html_writer_data.adb, leading to the GNAT CB
failing, so we disable it until that issue can be resolved.

gcc/ada/ChangeLog:

	* exp_ch4.adb (Warn_On_Abstract_Equality_For_Component): Temporarily
	disable warning.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/exp_ch4.adb | 7 +++++++
 1 file changed, 7 insertions(+)
diff mbox series

Patch

diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb
index 9c987a6fc436..2ac5e797e512 100644
--- a/gcc/ada/exp_ch4.adb
+++ b/gcc/ada/exp_ch4.adb
@@ -8423,6 +8423,13 @@  package body Exp_Ch4 is
       is
          Eq : Entity_Id;
       begin
+         --  Temporarily disable warning, to prevent spurious warnings
+         --  occurring in vss-xml-implementation-html_writer_data.adb. ???
+
+         if True then
+            return;
+         end if;
+
          if Is_Record_Type (Underlying_Type (Comp_Type)) then
             Eq := Get_User_Defined_Equality (Comp_Type);