From 70fbca287c38cad8d2f512dca1eae77ce61a8e0f Mon Sep 17 00:00:00 2001 From: bjorn3 Date: Sun, 4 Aug 2019 12:27:43 +0200 Subject: [PATCH] Fix intrinsic::transmute::<_, >(...) --- src/intrinsics.rs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/intrinsics.rs b/src/intrinsics.rs index 136635f45e82..551d069d4ae8 100644 --- a/src/intrinsics.rs +++ b/src/intrinsics.rs @@ -296,6 +296,9 @@ pub fn codegen_intrinsic_call<'a, 'tcx: 'a>( "unreachable" => { trap_unreachable(fx, "[corruption] Called intrinsic::unreachable."); } + "transmute" => { + trap_unreachable(fx, "[corruption] Called intrinsic::transmute with uninhabited argument."); + } _ => unimplemented!("unsupported instrinsic {}", intrinsic), } return;