miri weak memory emulation: put previous value into initial store buffer#128942

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:interpret-weak-memoryRalfJung/rust:interpret-weak-memoryCopy head branch name to clipboard