We need to check that the designated subprograms of access-to-subprogram
types are subtype conformant before registering a common interpretation.
gcc/ada/
* sem_ch4.adb (Possible_Type_For_Conditional_Expression): Add
test for subtype conformance in the cases of
access-to-subprogram types.
elsif Is_Access_Subprogram_Attribute (T1)
and then Is_Access_Subprogram_Attribute (T2)
+ and then
+ Subtype_Conformant (Designated_Type (T1), Designated_Type (T2))
then
return T1;
elsif Is_Access_Protected_Subprogram_Attribute (T1)
and then Is_Access_Protected_Subprogram_Attribute (T2)
+ and then
+ Subtype_Conformant (Designated_Type (T1), Designated_Type (T2))
then
return T1;