user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

miri: ICE on invalid terminators

Browse source
This commit is contained in:
Ralf Jung 2020-03-08 19:05:18 +01:00
parent f943349eaf
commit 4897594656
1 changed files with 6 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

15
src/librustc_mir/interpret/terminator.rs
View file

@ -114,15 +114,12 @@ impl<'mir, 'tcx, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
Unreachable => throw_ub!(Unreachable),
// These should never occur for MIR we actually run.
DropAndReplace { .. } | FalseEdges { .. } | FalseUnwind { .. } => {
bug!("{:#?} should have been eliminated by MIR pass", terminator.kind)
}
// These are not (yet) supported. It is unclear if they even can occur in
// MIR that we actually run.
Yield { .. } | GeneratorDrop | Abort => {
throw_unsup_format!("Unsupported terminator kind: {:#?}", terminator.kind)
}
DropAndReplace { .. }
| FalseEdges { .. }
| FalseUnwind { .. }
| Yield { .. }
| GeneratorDrop
| Abort => bug!("{:#?} should have been eliminated by MIR pass", terminator.kind),
}
Ok(())