d350797b7e
Apply effects to `otherwise` edge in dataflow analysis This allows `ElaborateDrops` to remove drops when a `match` wildcard arm covers multiple no-Drop enum variants. It modifies dataflow analysis to update the `MaybeUninitializedPlaces` and `MaybeInitializedPlaces` data for a block reached through an `otherwise` edge. Fixes rust-lang/rust#142705. |
||
|---|---|---|
| .. | ||
| framework | ||
| impls | ||
| move_paths | ||
| debuginfo.rs | ||
| drop_flag_effects.rs | ||
| errors.rs | ||
| lib.rs | ||
| points.rs | ||
| rustc_peek.rs | ||
| un_derefer.rs | ||
| value_analysis.rs | ||