From: Gary Dismukes <dismukes@adacore.com>
Date: Fri, 2 Jul 2021 20:51:31 +0000 (-0400)
Subject: [Ada] Presence of abstract operator function causes resolution problems
X-Git-Tag: basepoints/gcc-13~4577
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=704d03a4e356993a5b5216f3728e3edade782853;p=thirdparty%2Fgcc.git

[Ada] Presence of abstract operator function causes resolution problems

gcc/ada/

	* sem_ch4.adb (Remove_Abstract_Operations): Add condition to
	test for an E_Operator as part of criteria for setting
	Abstract_Op on interpretations involving predefined operators.
---

diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb
index 1f1f5aaee61d..543ba12f6ed0 100644
--- a/gcc/ada/sem_ch4.adb
+++ b/gcc/ada/sem_ch4.adb
@@ -8029,6 +8029,7 @@ package body Sem_Ch4 is
                while Present (It.Nam) loop
                   if Is_Numeric_Type (It.Typ)
                     and then Scope (It.Typ) = Standard_Standard
+                    and then Ekind (It.Nam) = E_Operator
                   then
                      Set_Abstract_Op (I, Abstract_Op);
                   end if;