Skip to content

Repair/improve const eval validation errors #97250

Closed as not planned
Closed as not planned
@saethlin

Description

@saethlin

In #95377 I'm proposing that we improve UB detection in const eval by selectively enforcing validity by attempting to detect if unsafe code has been loaded. As a result of this change, programs which would have produced an invalid const item are now detected earlier, and produce a different diagnostic. This new diagnostic doesn't include the memory dump. We should probably add it or something like it back. cc @oli-obk

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-diagnosticsArea: Messages for errors, warnings, and lintsT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions