rust/compiler/rustc_borrowck/src
bors 68c8fdaac0 Auto merge of #108293 - Jarcho:mut_analyses, r=eholk
Take MIR dataflow analyses by mutable reference

The main motivation here is any analysis requiring dynamically sized scratch memory to work. One concrete example would be pointer target tracking, where tracking the results of a dereference can result in multiple possible targets. This leads to processing multi-level dereferences requiring the ability to handle a changing number of potential targets per step. A (simplified) function for this would be `fn apply_deref(potential_targets: &mut Vec<Target>)` which would use the scratch space contained in the analysis to send arguments and receive the results.

The alternative to this would be to wrap everything in a `RefCell`, which is what `MaybeRequiresStorage` currently does. This comes with a small perf cost and loses the compiler's guarantee that we don't try to take multiple borrows at the same time.

For the implementation:
* `AnalysisResults` is an unfortunate requirement to avoid an unconstrained type parameter error.
* `CloneAnalysis` could just be `Clone` instead, but that would result in more work than is required to have multiple cursors over the same result set.
* `ResultsVisitor` now takes the results type on in each function as there's no other way to have access to the analysis without cloning it. This could use an associated type rather than a type parameter, but the current approach makes it easier to not care about the type when it's not necessary.
* `MaybeRequiresStorage` now no longer uses a `RefCell`, but the graphviz formatter now does. It could be removed, but that would require even more changes and doesn't really seem necessary.
2023-06-08 23:58:44 +00:00
..
constraints Split {Idx, IndexVec, IndexSlice} into their own modules 2023-04-24 13:53:35 +00:00
diagnostics Rollup merge of #112019 - jieyouxu:issue-111554, r=compiler-errors 2023-06-06 12:00:33 +02:00
region_infer New trait solver is a property of inference context 2023-06-06 18:43:06 +00:00
type_check Rollup merge of #112122 - compiler-errors:next-coherence, r=lcnr 2023-06-07 18:01:29 +05:30
util Move some utils out of rustc_const_eval 2023-04-16 12:05:54 +02:00
borrow_set.rs Allow consumers to retrieve borrowck output 2023-05-23 13:11:23 +02:00
borrowck_errors.rs Add #[track_caller] to struct_span_err_with_code (drive-by cleanup) 2023-04-19 19:10:37 +00:00
constraint_generation.rs Remove default visitor impl in region constraint generation 2023-06-06 19:00:47 +00:00
consumers.rs Move DefiningAnchor 2023-05-25 03:21:21 +00:00
dataflow.rs Auto merge of #108293 - Jarcho:mut_analyses, r=eholk 2023-06-08 23:58:44 +00:00
def_use.rs unique borrows are mutating uses 2023-05-29 17:15:48 +02:00
facts.rs Various minor Idx-related tweaks 2023-04-16 02:42:50 -07:00
invalidation.rs Remove DesugaringKind::Replace. 2023-05-25 17:40:46 +00:00
lib.rs Auto merge of #108293 - Jarcho:mut_analyses, r=eholk 2023-06-08 23:58:44 +00:00
location.rs Split {Idx, IndexVec, IndexSlice} into their own modules 2023-04-24 13:53:35 +00:00
member_constraints.rs remove unused muts 2023-04-28 20:19:48 +02:00
nll.rs Rename tcx.mk_re_* => Region::new_* 2023-05-29 17:54:53 +00:00
path_utils.rs Move mir::Fieldabi::FieldIdx 2023-03-28 22:22:37 -07:00
place_ext.rs Allow consumers to retrieve borrowck output 2023-05-23 13:11:23 +02:00
places_conflict.rs Allow consumers to retrieve borrowck output 2023-05-23 13:11:23 +02:00
prefixes.rs lint auto pass 2022-11-09 20:42:16 +08:00
renumber.rs check array type of repeat exprs is wf 2023-05-04 11:22:40 +01:00
session_diagnostics.rs Don't call await a method 2023-04-27 17:18:12 +00:00
universal_regions.rs Rename tcx.mk_re_* => Region::new_* 2023-05-29 17:54:53 +00:00
used_muts.rs Rollup merge of #108856 - Zeegomo:remove-drop-and-rep, r=tmiasko 2023-03-08 21:26:51 +01:00