Matthias Krüger 1d46614335 Rollup merge of #116650 - RalfJung:miri-intptrcast, r=oli-obk ...

add some comments and some cleanup around Miri intptrcast

`@saethlin` maybe this helps a bit?

2023-10-19 14:38:26 +02:00

..

intrinsics

interpret: make write functions generic over the place type

2023-07-25 22:33:58 +02:00

cast.rs

float-to-float casts also have non-deterministic NaN results

2023-10-09 08:30:34 +02:00

discriminant.rs

try to avoid some layout_of calls

2023-09-21 07:26:16 +02:00

eval_context.rs

Rollup merge of #116277 - RalfJung:post-mono, r=oli-obk

2023-10-06 16:37:46 -07:00

intern.rs

separate bounds-check from alignment check

2023-10-15 18:13:33 +02:00

intrinsics.rs

separate bounds-check from alignment check

2023-10-15 18:13:33 +02:00

machine.rs

don't UB on dangling ptr deref, instead check inbounds on projections

2023-10-15 18:12:46 +02:00

memory.rs

Rollup merge of #116650 - RalfJung:miri-intptrcast, r=oli-obk

2023-10-19 14:38:26 +02:00

mod.rs

avoid re-checking the offset while iterating an array/slice

2023-10-15 18:12:46 +02:00

operand.rs

place evaluation: require the original pointer to be aligned if an access happens

2023-10-15 18:13:31 +02:00

operator.rs

don't UB on dangling ptr deref, instead check inbounds on projections

2023-10-15 18:12:46 +02:00

place.rs

separate bounds-check from alignment check

2023-10-15 18:13:33 +02:00

projection.rs

place evaluation: require the original pointer to be aligned if an access happens

2023-10-15 18:13:31 +02:00

step.rs

separate bounds-check from alignment check

2023-10-15 18:13:33 +02:00

terminator.rs

don't UB on dangling ptr deref, instead check inbounds on projections

2023-10-15 18:12:46 +02:00

traits.rs

make it more clear which functions create fresh AllocId

2023-09-14 07:27:31 +02:00

util.rs

subst -> instantiate

2023-09-26 09:37:55 +02:00

validity.rs

separate bounds-check from alignment check

2023-10-15 18:13:33 +02:00

visitor.rs

interpret: fix projecting into an unsized field of a local

2023-08-30 13:43:34 +02:00