Skip to content

Repair/improve const eval validation errors #97250

Closed as not planned
Closed as not planned

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

Activity

  1. added
    A-diagnosticsArea: Messages for errors, warnings, and lints
    T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.
    on May 21, 2022
  2. saethlin commented on Jul 29, 2022

    @saethlin
    MemberAuthor

    Closing because if #95377 or anything like is merged, it will be opt-in.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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