From: Javier Miranda <miranda@adacore.com>
Date: Tue, 19 Nov 2024 11:07:42 +0000 (+0000)
Subject: ada: Refactor code of Check_Ambiguous_Call and Valid_Conversion
X-Git-Tag: basepoints/gcc-16~3408
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=92d65775d773f746ab999e94a405a26e3c3a3cab;p=thirdparty%2Fgcc.git

ada: Refactor code of Check_Ambiguous_Call and Valid_Conversion

gcc/ada/ChangeLog:

	* sem_res.adb (Is_Ambiguous_Operand): Add missing decoration of
	the operand when it is labeled overloaded but has just one
	interpretation.
---

diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index 5ca206135295..cd75508021c5 100644
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -13785,10 +13785,9 @@ package body Sem_Res is
 
             return True;
          end if;
-
-         Set_Etype (Operand, It1.Typ);
       end if;
 
+      Set_Etype (Operand, It1.Typ);
       return False;
    end Is_Ambiguous_Operand;