diff options
| author | bors <bors@rust-lang.org> | 2023-10-17 14:11:31 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-10-17 14:11:31 +0000 |
| commit | 93e62a260f9edb5813a73908120a43f1415f2c8c (patch) | |
| tree | b34b7ebbbffe4b82c9d3adfdf6a56d2f80ea2f68 /compiler/rustc_interface/src/interface.rs | |
| parent | 616e37919c87f34d3af57ab7457186a4e0cd62ef (diff) | |
| parent | e494df436df105f8a3d767dfcd8e51c597c0fca5 (diff) | |
| download | rust-93e62a260f9edb5813a73908120a43f1415f2c8c.tar.gz rust-93e62a260f9edb5813a73908120a43f1415f2c8c.zip | |
Auto merge of #115577 - RalfJung:atomic-load, r=Amanieu
document when atomic loads are guaranteed read-only Based on this [discussion in Zulip](https://rust-lang.zulipchat.com/#narrow/stream/136281-t-opsem/topic/Can.20.60Atomic*.3A.3Aload.60.20perform.20a.20write). The values for x86 and x86_64 are complete guesswork on my side, and I have no clue what the values might be for other architectures. I hope we can get the right people to chime in to gather the required information. :) I'll update Miri to respect these rules once we have more data.
Diffstat (limited to 'compiler/rustc_interface/src/interface.rs')
0 files changed, 0 insertions, 0 deletions