diff options
| author | Ghjuvan Lacambre <lacambre@adacore.com> | 2021-06-23 19:30:40 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-20 12:31:31 +0000 |
| commit | c83448aaf907f3895194167098b7003ed932583d (patch) | |
| tree | 39db0f28526fcc9331e0f5fe63957d7982df4dda | |
| parent | 2743363047517c25a884fcf8e08a8108f1368fa6 (diff) | |
| download | gcc-c83448aaf907f3895194167098b7003ed932583d.zip gcc-c83448aaf907f3895194167098b7003ed932583d.tar.gz gcc-c83448aaf907f3895194167098b7003ed932583d.tar.bz2 | |
[Ada] Fix condition in op interpretation resolution
gcc/ada/
* sem_ch4.adb (Finc_Non_Universal_Interpretations): Fix check.
| -rw-r--r-- | gcc/ada/sem_ch4.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index 553e194..1f1f5aa 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; - elsif Has_Compatible_Type (R, T1) then + elsif Has_Compatible_Type (R, T1) or else Covers (Etype (R), T1) then Add_One_Interp (N, Op_Id, Standard_Boolean, Base_Type (T1)); end if; end Find_Non_Universal_Interpretations; |