diff options
Diffstat (limited to 'gcc/ada/sem_ch12.adb')
| -rw-r--r-- | gcc/ada/sem_ch12.adb | 22 |
1 files changed, 6 insertions, 16 deletions
diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb index 4ce3fd6..1572e4f 100644 --- a/gcc/ada/sem_ch12.adb +++ b/gcc/ada/sem_ch12.adb @@ -10529,23 +10529,13 @@ package body Sem_Ch12 is -- only mode conformance was required. -- This is a binding interpretation that applies to previous versions - -- of the language, but for now we retain the milder check in order - -- to preserve ACATS tests. These will be protested eventually ??? + -- of the language, no need to maintain previous weaker checks. - if Ada_Version < Ada_2012 then - Check_Mode_Conformant - (Designated_Type (Act_T), - Designated_Type (A_Gen_T), - Actual, - Get_Inst => True); - - else - Check_Subtype_Conformant - (Designated_Type (Act_T), - Designated_Type (A_Gen_T), - Actual, - Get_Inst => True); - end if; + Check_Subtype_Conformant + (Designated_Type (Act_T), + Designated_Type (A_Gen_T), + Actual, + Get_Inst => True); if Ekind (Base_Type (Act_T)) = E_Access_Protected_Subprogram_Type then if Ekind (A_Gen_T) = E_Access_Subprogram_Type then |