Skip to content

The Ada f-e generates bogus records for descendants of tagged types with a variant part (ACATS c393010) #2382

@llvmbot

Description

@llvmbot
Bugzilla Link 2010
Version trunk
OS Linux
Attachments testcase .ads
Reporter LLVM Bugzilla Contributor

Extended Description

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugzillaIssues migrated from bugzillallvm-toolsAll llvm tools that do not have corresponding tagobsoleteIssues with old (unsupported) versions of LLVMwontfixIssue is real, but we can't or won't fix it. Not invalid

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions