Getter function Predicated_Parent expects to be called on subtypes only, which was not enforced always, possibly leading to assertion failures on compiler built with assertions. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * sem_ch13.adb (Build_Predicate_Functions): Access Predicated_Parent only on subtypes.