-
Notifications
You must be signed in to change notification settings - Fork 392
Closed
Labels
A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)Area: This affects the aliasing model (Stacked/Tree Borrows)C-bugCategory: This is a bug.Category: This is a bug.C-projectCategory: a larger project is being tracked here, usually with checkmarks for individual stepsCategory: a larger project is being tracked here, usually with checkmarks for individual steps
Description
Validation is currently disabled in a few places, they should all get fixed:
-
invalid, now that we require even raw ptr derefs not to dangletests/run-pass/ref-invalid-ptr.rs
because we need something like RFC for an operator to take a raw reference rfcs#2582 -
direct_mut_to_const_raw
intests/run-pass/stacked-borrows.rs
waits for a fix for Coercing &mut to *const should not create a shared reference rust#56604 -
tests/run-pass/btreemap.rs
test, because of BTreeSet causes UB by having (partially) dangling shared reference rust#54957 -
cargo miri test
test (in Fix cargo miri test #550), because of BTreeSet causes UB by having (partially) dangling shared reference rust#54957 - On all run-pass tests and in the README example when running without full MIR, to be fixed by always requiring full MIR
-
run-pass-fullmir/vecdeque.rs
waits for VecDeque: fix for stacked borrows rust#56161 to land -
tests/run-pass-fullmir/async-fn.rs
waits for fix futures creating aliasing mutable and shared ref rust#56319 to land
We also have a whitelist disabling it for a few functions:
- Some raw pointer operations, will be fixed by std::ptr no longer needs whitelisting #547 (remember to update Fix cargo miri test #550 which adds another one here!)
- Windows'
Mutex
, can be fixed once use MaybeUninit instead of mem::uninitialized for Windows Mutex rust#56275 lands
Metadata
Metadata
Assignees
Labels
A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)Area: This affects the aliasing model (Stacked/Tree Borrows)C-bugCategory: This is a bug.Category: This is a bug.C-projectCategory: a larger project is being tracked here, usually with checkmarks for individual stepsCategory: a larger project is being tracked here, usually with checkmarks for individual steps