-
Notifications
You must be signed in to change notification settings - Fork 470
Enable validation everywhere #551
Copy link
Copy link
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
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
Type
Fields
Give feedbackNo fields configured for issues without a type.
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.rsbecause we need something like RFC for an operator to take a raw reference rfcs#2582direct_mut_to_const_rawintests/run-pass/stacked-borrows.rswaits for a fix for Coercing &mut to *const should not create a shared reference rust#56604tests/run-pass/btreemap.rstest, because of BTreeSet causes UB by having (partially) dangling shared reference rust#54957cargo miri testtest (in Fix cargo miri test #550), because of BTreeSet causes UB by having (partially) dangling shared reference rust#54957run-pass-fullmir/vecdeque.rswaits for VecDeque: fix for stacked borrows rust#56161 to landtests/run-pass-fullmir/async-fn.rswaits for fix futures creating aliasing mutable and shared ref rust#56319 to landWe also have a whitelist disabling it for a few functions:
Mutex, can be fixed once use MaybeUninit instead of mem::uninitialized for Windows Mutex rust#56275 lands