Skip to content

Find a way to test MIR code that rustc won't emit #196

Closed
@RalfJung

Description

@RalfJung

It would be nice to be able to test miri against known-bad MIR code -- like, code that uses StorageLive/StorageDead incorrectly, just to make sure that miri catches such errors. Some more examples will come come up with the stuff about unsafe code guidelines that I'm working on.

It seems that we need something like a MIR parser for this, though?

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-testsArea: affects our test suite or CIC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions