diff options
| author | bors <bors@rust-lang.org> | 2022-11-27 19:03:21 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-11-27 19:03:21 +0000 |
| commit | 66354f00430eebb88d33de02326d7ca9196bd61a (patch) | |
| tree | a520304e5766ae486d9c03ca337ccf41a2a0de3c /compiler/rustc_llvm/llvm-wrapper/PassWrapper.cpp | |
| parent | a83b105b4c9dc1363c15685e99893a209438dc35 (diff) | |
| parent | edf8154695e697d5bef8fdd3341379a3f789fd62 (diff) | |
| download | rust-66354f00430eebb88d33de02326d7ca9196bd61a.tar.gz rust-66354f00430eebb88d33de02326d7ca9196bd61a.zip | |
Auto merge of #2694 - RalfJung:retag-deref-check, r=saethlin
fix handling of spurious accesses during retag The `dereferenceable` attribute we emit for LLVM is checked during retag in Stacked Borrows. However, we currently don't properly do that for retagging of `&mut !Unpin`, which this PR fixes. Also this adjusts retagging to inform the data race model of the accesses as well. Fixes https://github.com/rust-lang/miri/issues/2648. Also fixes https://github.com/rust-lang/miri/issues/2693 since the same issue arose for retagging as well. r? `@saethlin`
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/PassWrapper.cpp')
0 files changed, 0 insertions, 0 deletions