Dylan DPC deab13c681 Rollup merge of #99692 - RalfJung:too-far, r=oli-obk ... interpret, ptr_offset_from: refactor and test too-far-apart check We didn't have any tests for the "too far apart" message, and indeed that check mostly relied on the in-bounds check and was otherwise probably not entirely correct... so I rewrote that check, and it is before the in-bounds check so we can test it separately.		2022-07-26 14:26:58 +05:30
..
intrinsics	interpret: rename Tag/PointerTag to Prov/Provenance	2022-07-19 15:38:32 -04:00
cast.rs	now we can make scalar_to_ptr a method on Scalar	2022-07-23 10:36:57 -04:00
eval_context.rs	now we can make scalar_to_ptr a method on Scalar	2022-07-23 10:36:57 -04:00
intern.rs	now we can make scalar_to_ptr a method on Scalar	2022-07-23 10:36:57 -04:00
intrinsics.rs	interpret, ptr_offset_from: refactor and test too-far-apart check	2022-07-24 19:35:40 -04:00
machine.rs	remove some provenance-related machine hooks that Miri no longer needs	2022-07-23 10:15:37 -04:00
memory.rs	now we can make scalar_to_ptr a method on Scalar	2022-07-23 10:36:57 -04:00
mod.rs	interpret: refactor projection handling code	2022-07-11 22:50:46 -04:00
operand.rs	now we can make scalar_to_ptr a method on Scalar	2022-07-23 10:36:57 -04:00
operator.rs	interpret: rename Tag/PointerTag to Prov/Provenance	2022-07-19 15:38:32 -04:00
place.rs	now we can make scalar_to_ptr a method on Scalar	2022-07-23 10:36:57 -04:00
projection.rs	Auto merge of #99472 - RalfJung:provenance, r=oli-obk	2022-07-20 16:56:31 +00:00
step.rs	add new rval, pull deref early	2022-07-12 14:26:41 +03:00
terminator.rs	Rollup merge of #99673 - RalfJung:interpret-invalid-dyn, r=oli-obk	2022-07-26 07:14:49 +09:00
traits.rs	incorporate some review feedback	2022-07-20 17:12:07 -04:00
util.rs	Update TypeVisitor paths	2022-07-06 06:41:53 +01:00
validity.rs	now we can make scalar_to_ptr a method on Scalar	2022-07-23 10:36:57 -04:00
visitor.rs	make use of symbolic vtables in interpreter	2022-07-20 17:12:04 -04:00