Fix weak memory emulation to avoid generating behaviors that are forbidden under C++ 20#4057

Merged

RalfJung merged 3 commits intorust-lang:masterfrom RalfJung:scfix

Dec 6, 2024

+225-241

Commits on Dec 5, 2024

extend some comments regarding weak memory emulation
RalfJung
committed
move GlobalState definition further up so the types are mor concentrated at the top of the file
RalfJung
committed
make SC fences stronger, to be correct wrt C++20
RalfJung
committed