diff options
| -rw-r--r-- | src/librustc_mir/interpret/intrinsics.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/librustc_mir/interpret/intrinsics.rs b/src/librustc_mir/interpret/intrinsics.rs index 18d8d8c6158..66b6d4ac12c 100644 --- a/src/librustc_mir/interpret/intrinsics.rs +++ b/src/librustc_mir/interpret/intrinsics.rs @@ -95,11 +95,10 @@ impl<'mir, 'tcx, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> { ) -> InterpResult<'tcx, bool> { let substs = instance.substs; - // The intrinsic itself cannot diverge, so if we got here without a return - // place... (can happen e.g., for transmute returning `!`) + // We currently do not handle any diverging intrinsics. let dest = match dest { Some(dest) => dest, - None => throw_ub!(Unreachable) + None => return Ok(false) }; let intrinsic_name = &*self.tcx.item_name(instance.def_id()).as_str(); |