diff options
| author | Ralf Jung <post@ralfj.de> | 2019-11-29 09:59:52 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2019-12-02 08:55:42 +0100 |
| commit | b1aa3cac5b7f5ac3e527f32431fa82e1c7d00c52 (patch) | |
| tree | efca9b1a29e82e88500252349b3ff42022ba4b93 /src/librustc_mir/transform | |
| parent | f5c81e0a986e4285d3d0fd781a1bd475753eb12c (diff) | |
| download | rust-b1aa3cac5b7f5ac3e527f32431fa82e1c7d00c52.tar.gz rust-b1aa3cac5b7f5ac3e527f32431fa82e1c7d00c52.zip | |
Miri: add machine hook for MIR-level assertion panics
Diffstat (limited to 'src/librustc_mir/transform')
| -rw-r--r-- | src/librustc_mir/transform/const_prop.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/librustc_mir/transform/const_prop.rs b/src/librustc_mir/transform/const_prop.rs index 67958af3460..1fb254fb69f 100644 --- a/src/librustc_mir/transform/const_prop.rs +++ b/src/librustc_mir/transform/const_prop.rs @@ -156,6 +156,14 @@ impl<'mir, 'tcx> interpret::Machine<'mir, 'tcx> for ConstPropMachine { throw_unsup!(ConstPropUnsupported("calling intrinsics isn't supported in ConstProp")); } + fn assert_panic( + _ecx: &mut InterpCx<'mir, 'tcx, Self>, + _msg: &rustc::mir::interpret::AssertMessage<'tcx>, + _unwind: Option<rustc::mir::BasicBlock>, + ) -> InterpResult<'tcx> { + throw_unsup_format!("panics are not supported in ConstProp"); + } + fn ptr_to_int( _mem: &Memory<'mir, 'tcx, Self>, _ptr: Pointer, |