Auto merge of #118408 - RalfJung:aggregate-assign-uninit, r=saethlin

miri: add test checking that aggregate assignments reset memory to uninit

Also, `write_aggregate` is really just a helper for evaluating `Aggregate` rvalues, so it should be in `step.rs`, not `place.rs`. Also factor out `Repeat` rvalues into their own function while we are at it.

r? `@saethlin`
Fixes https://github.com/rust-lang/miri/issues/3195
This commit is contained in:
bors 2023-11-30 07:49:49 +00:00
commit 17778bd661

Diff content is not available