interpret: make read-pointer-as-bytes *always* work in Miri
and show some extra information when it happens in CTFE
This commit is contained in:
parent
0644a8c858
commit
94f2fef4cc
@ -186,7 +186,10 @@ pub(super) fn codegen_simd_intrinsic_call<'tcx>(
|
||||
let size = Size::from_bytes(
|
||||
4 * ret_lane_count, /* size_of([u32; ret_lane_count]) */
|
||||
);
|
||||
alloc.inner().get_bytes(fx, alloc_range(offset, size)).unwrap()
|
||||
alloc
|
||||
.inner()
|
||||
.get_bytes_strip_provenance(fx, alloc_range(offset, size))
|
||||
.unwrap()
|
||||
}
|
||||
_ => unreachable!("{:?}", idx_const),
|
||||
};
|
||||
|
Loading…
Reference in New Issue
Block a user