Bugzilla – Bug 2010
The Ada f-e generates bogus records for descendants of tagged types with a variant part (ACATS c393010)
Last modified: 2008-02-10 07:33:20
You need to log in before you can comment on or make changes to this bug.
Created an attachment (id=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.