Calling the function on an unspecified type may trigger the failure of the precondition of the Interfaces accessor. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * sem_type.adb (Specific_Type): Check that the type is tagged before calling Interface_Present_In_Ancestor on it.