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?
It would be nice to be able to test miri against known-bad MIR code -- like, code that uses
StorageLive/StorageDeadincorrectly, 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?