diff options
| author | bors <bors@rust-lang.org> | 2024-06-28 13:54:02 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-06-28 13:54:02 +0000 |
| commit | c4715893e56ca6190c4212752ef7f78fd7834b80 (patch) | |
| tree | 167389b25410f986ed2b488b37ec689eb4b07cc8 /compiler/rustc_codegen_llvm/src/errors.rs | |
| parent | 1a7fce07f8240f174db9362965ea8d1a1ac1391f (diff) | |
| parent | db243de8be050ce43e26de86018d5f45a101e863 (diff) | |
| download | rust-c4715893e56ca6190c4212752ef7f78fd7834b80.tar.gz rust-c4715893e56ca6190c4212752ef7f78fd7834b80.zip | |
Auto merge of #3718 - RalfJung:readme, r=oli-obk
readme: tweak wording around soundness Miri *can* tell you whether your code is sound when it finds UB -- it's not sound in that case. It can give negative answers, just not positive ones.
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions