Ralf Jung f3a76a18d7 keep around some information for dead allocations so that we can use it to make sure a dangling ptr aligned and non-NULL

2018-09-15 16:34:30 +02:00

..

cast.rs

make ptr_op finally reponsible for all ops involving pointers; make ValTy constructor private

2018-08-29 08:44:37 +02:00

eval_context.rs

miri loop detector hashing: fix enum hashing to also consider discriminant; do not hash extra machine state

2018-09-09 10:53:36 +02:00

intrinsics.rs

Use binary_op_val instead of doing the check manually.

2018-09-06 15:11:56 +02:00

machine.rs

miri loop detector hashing: fix enum hashing to also consider discriminant; do not hash extra machine state

2018-09-09 10:53:36 +02:00

memory.rs

keep around some information for dead allocations so that we can use it to make sure a dangling ptr aligned and non-NULL

2018-09-15 16:34:30 +02:00

mod.rs

Move EvalSnapshot into its own module

2018-09-03 20:02:35 +02:00

operand.rs

keep around some information for dead allocations so that we can use it to make sure a dangling ptr aligned and non-NULL

2018-09-15 16:34:30 +02:00

operator.rs

make ptr_op finally reponsible for all ops involving pointers; make ValTy constructor private

2018-08-29 08:44:37 +02:00

place.rs

keep around some information for dead allocations so that we can use it to make sure a dangling ptr aligned and non-NULL

2018-09-15 16:34:30 +02:00

snapshot.rs

miri loop detector hashing: fix enum hashing to also consider discriminant; do not hash extra machine state

2018-09-09 10:53:36 +02:00

step.rs

Rollup merge of #54076 - RalfJung:miri-snapshot, r=oli-obk

2018-09-14 00:41:40 +08:00

terminator.rs

renamed mk_nil to mk_unit

2018-09-10 11:07:13 +09:00

traits.rs

…

validity.rs

Optimize miri checking of integer array/slices

2018-09-08 07:13:19 +03:00