diff options
| -rw-r--r-- | src/librustc_codegen_ssa/mir/block.rs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/librustc_codegen_ssa/mir/block.rs b/src/librustc_codegen_ssa/mir/block.rs index d684f842ddc..a1b54607b80 100644 --- a/src/librustc_codegen_ssa/mir/block.rs +++ b/src/librustc_codegen_ssa/mir/block.rs @@ -515,12 +515,9 @@ impl<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>> FunctionCx<'a, 'tcx, Bx> { return; } - // For normal codegen, this Miri-specific intrinsic is just a NOP. + // For normal codegen, this Miri-specific intrinsic should never occur. if intrinsic == Some("miri_start_panic") { - let target = destination.as_ref().unwrap().1; - helper.maybe_sideeffect(self.mir, &mut bx, &[target]); - helper.funclet_br(self, &mut bx, target); - return; + bug!("`miri_start_panic` should never end up in compiled code"); } // Emit a panic or a no-op for `panic_if_uninhabited`. |