Skip to content

Miscompilation introduced by CopyPropagation #76740

Closed
@tmiasko

Description

@tmiasko

To reproduce the issue:

  • Checkout 41dc394 (for reproducibility, but might be unnecessary).
  • Enable copy propagation so that it runs on mir-opt-level=1.
  • ./x.py test --stage 2 src/test/ui (disable incremental compilation, so that rustc is rebuild completely).
  • Observe tests failures: "not all trait items implemented, missing ...".

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-mir-optArea: MIR optimizationsC-bugCategory: This is a bug.I-unsoundIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/SoundnessT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.requires-nightlyThis issue requires a nightly compiler in some way.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions