rust/compiler/rustc_mir_dataflow/src/framework/direction.rs, branch try

Remove support for SwitchInt edge effects in backward dataflow analyses

2025-07-11T08:56:50+00:00

Those effects are untested and unused. Remove them along with the implementation of `BasicBlocks::switch_sources`.

Call `get_switch_int_data` on a block with SwitchInt terminator

2025-07-11T06:49:11+00:00

Fix a mix-up of a block with its predecessors in handling of SwitchInt edge effects for backward analysis. Note that this functionality is currently unused, so change has no practical impact.

Apply effects to otherwise edge in dataflow analysis

2025-07-08T23:15:05+00:00

Separate `Analysis` and `Results`.

2025-04-24T01:36:07+00:00

`Results` contains and `Analysis` and an `EntryStates`. The unfortunate thing about this is that the analysis needs to be mutable everywhere (`&mut Analysis`) which forces the `Results` to be mutable everywhere, even though `EntryStates` is immutable everywhere. To fix this, this commit renames `Results` as `AnalysisAndResults`, renames `EntryStates` as `Results`, and separates the analysis and results as much as possible. (`AnalysisAndResults` doesn't get much use, it's mostly there to facilitate method chaining of `iterate_to_fixpoint`.) `Results` is immutable everywhere, which: - is a bit clearer on how the data is used, - avoids an unnecessary clone of entry states in `locals_live_across_suspend_points`, and - moves the results outside the `RefCell` in Formatter. The commit also reformulates `ResultsHandle` as the generic `CowMut`, which is simpler than `ResultsHandle` because it doesn't need the `'tcx` lifetime and the trait bounds. It also which sits nicely alongside the new use of `Cow` in `ResultsCursor`.

Pass `Analysis` to `visit_*` instead of `Results`.

2025-04-24T01:34:06+00:00

Every `Results` contains an `Analysis`, but these methods only need the `Analysis`. No point passing them more data than they need.

Remove unnecessary lifetime on `ResultsVisitor`.

2025-04-22T00:08:05+00:00

Remove `SwitchIntTarget`.

2025-02-16T22:51:37+00:00

It's only passed to `Analysis::apply_switch_int_edge_effect`, and the existing impls of that method only use the `value` field. So pass that instead.

Add `SwitchTargetValue`.

2025-02-16T22:51:37+00:00

This is much clearer than `Option`.

Refactor `apply_effects_in_block`.

2025-02-16T22:36:12+00:00

Very minor changes that will make the next few commits easier to follow.

Rustfmt

2025-02-08T22:12:13+00:00