]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Disable new warning for composite equality ops that can raise Program_Error
authorGary Dismukes <dismukes@adacore.com>
Tue, 12 Aug 2025 22:45:43 +0000 (22:45 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 11 Sep 2025 09:10:46 +0000 (11:10 +0200)
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.

gcc/ada/exp_ch4.adb

index 9c987a6fc43690949f3c83a2ee6b2a4001c565fa..2ac5e797e512ee940936094abc44264b4e8b1a08 100644 (file)
@@ -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);