Created attachment 1393 [details] testcase .ads The problem occurs when a child type, due to a discriminant constraint, does not have all the fields of the parent. The f-e nonetheless generates the non-present fields in the child record type even if they are off the end of the record (this causes llvm-gcc to abort). See attached testcase.