From: Gary Dismukes <dismukes@adacore.com>
Date: Tue, 12 Aug 2025 22:45:43 +0000 (+0000)
Subject: ada: Disable new warning for composite equality ops that can raise Program_Error
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0e0b43564acabe38503c28620ed7e3595e14c9cf;p=thirdparty%2Fgcc.git

ada: Disable new warning for composite equality ops that can raise Program_Error

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.
---

diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb
index 9c987a6fc43..2ac5e797e51 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);