From 955a26fb0803fa1fb46d21abcb89f3a05e5cadda Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 3 Nov 2019 15:39:03 +0100 Subject: [PATCH] calling panic_if_uninhabited is not actually UB --- src/shims/intrinsics.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs index cdd31c9298c4..7c8c06cbbfd5 100644 --- a/src/shims/intrinsics.rs +++ b/src/shims/intrinsics.rs @@ -381,7 +381,8 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx let ty = substs.type_at(0); let layout = this.layout_of(ty)?; if layout.abi.is_uninhabited() { - throw_ub_format!("Trying to instantiate uninhabited type {}", ty) + // FIXME: This should throw a panic in the interpreted program instead. + throw_unsup_format!("Trying to instantiate uninhabited type {}", ty) } }