aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGhjuvan Lacambre <lacambre@adacore.com>2021-06-18 17:18:41 +0200
committerPierre-Marie de Rodat <derodat@adacore.com>2021-09-20 12:31:30 +0000
commit0f5356c4bfeb42fcab6e2681709a386abf2c0ba1 (patch)
treed3d27fa9811034e614a1f1828355778daca2bc35
parent518cededb0ca426ef6fd04bb9e4db2082da671e2 (diff)
downloadgcc-0f5356c4bfeb42fcab6e2681709a386abf2c0ba1.zip
gcc-0f5356c4bfeb42fcab6e2681709a386abf2c0ba1.tar.gz
gcc-0f5356c4bfeb42fcab6e2681709a386abf2c0ba1.tar.bz2
[Ada] Only assign type to op if compatible
gcc/ada/ * sem_ch4.adb (Find_Non_Universal_Interpretations): Check if types are compatible before adding interpretation.
-rw-r--r--gcc/ada/sem_ch4.adb2
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb
index c052022..553e194 100644
--- a/gcc/ada/sem_ch4.adb
+++ b/gcc/ada/sem_ch4.adb
@@ -6626,7 +6626,7 @@ package body Sem_Ch4 is
Get_Next_Interp (Index, It);
end loop;
end if;
- else
+ elsif Has_Compatible_Type (R, T1) then
Add_One_Interp (N, Op_Id, Standard_Boolean, Base_Type (T1));
end if;
end Find_Non_Universal_Interpretations;