diff options
| author | bors <bors@rust-lang.org> | 2022-08-28 13:20:54 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-08-28 13:20:54 +0000 |
| commit | 88665133b709928a88efed760d1219f2d821aea2 (patch) | |
| tree | 8459f5baf304e7e693956c130916b21d5a24ebbe /tests/mir-opt/lower_array_len.array_bound.NormalizeArrayLen.diff | |
| parent | 74d99abac0532a3707b3cbf84b43b6c49442ec38 (diff) | |
| parent | 3e97d8e65ffc1dc6a9c342888de61146b452a1fd (diff) | |
| download | rust-88665133b709928a88efed760d1219f2d821aea2.tar.gz rust-88665133b709928a88efed760d1219f2d821aea2.zip | |
Auto merge of #2512 - cbeuw:scfix, r=RalfJung
Strengthen C++20 SC accesses `@SabrinaJewson` noted in #2301 that Miri could produce behaviours forbidden under C++20 even without SC fences. Due to the added coherence-ordered before relationship which is created from read from and read before, plus the fact that coherence-ordered before between SC operations must be consistent with the Global Total Order S, in C++20 if there's an SC load that reads from any store, then a later SC load cannot read before that store. This PR adds this restriction
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_bound.NormalizeArrayLen.diff')
0 files changed, 0 insertions, 0 deletions