From f7366360383f6df430fb5dc7145f4ce8cab5f5e6 Mon Sep 17 00:00:00 2001 From: Christian Poveda Date: Tue, 17 Sep 2019 13:42:04 -0500 Subject: [PATCH] Throw unsupported error when alignment is not a power of two --- src/shims/mod.rs | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/shims/mod.rs b/src/shims/mod.rs index eea23b6de4e6..0b5bd7ae5cf0 100644 --- a/src/shims/mod.rs +++ b/src/shims/mod.rs @@ -60,6 +60,11 @@ fn align_offset( this.pointer_size() )? as usize; + // FIXME: This should actually panic in the interpreted program + if !req_align.is_power_of_two() { + throw_unsup_format!("Required alignment should always be a power of two") + } + let ptr_scalar = this.read_scalar(ptr_op)?.not_undef()?; if let Scalar::Ptr(ptr) = ptr_scalar {