rust/compiler/rustc_mir_dataflow/src, branch tryhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=try2025-07-11T08:56:50+00:00Remove support for SwitchInt edge effects in backward dataflow analyses2025-07-11T08:56:50+00:00Tomasz Miąskotomasz.miasko@gmail.com2025-07-11T06:43:16+00:00urn:sha1:5b6d661039116ea573652393938061a9a2a2c586
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 terminator2025-07-11T06:49:11+00:00Tomasz Miąskotomasz.miasko@gmail.com2025-07-11T06:10:16+00:00urn:sha1:011d4aa81f1d20b4923a01c7162caa5f0042b8ba
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.
Auto merge of #142707 - ashivaram23:drop_wildcard, r=dianqk2025-07-09T03:42:01+00:00borsbors@rust-lang.org2025-07-09T03:42:01+00:00urn:sha1:d350797b7e1a5b6952f5035cbad2a21613b32f6c
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.
Apply effects to otherwise edge in dataflow analysis2025-07-08T23:15:05+00:00Amogh Shivaramashivaram264@gmail.com2025-07-08T23:15:05+00:00urn:sha1:c7ef03aeb7c33825e3d020c9e1791171e71cd445mir: Use the `new` method for `BasicBlockData`2025-06-29T12:39:13+00:00dianqkdianqk@dianqk.net2025-06-16T14:31:25+00:00urn:sha1:24e553e6bcfa329b04b93c0978e00b492224a255mir: Add a `new` method to `statement`2025-06-29T12:13:36+00:00dianqkdianqk@dianqk.net2025-06-08T07:30:18+00:00urn:sha1:9f9cd5e2837f57504b92b5acbadb48ff0cb9e29c
Avoid introducing a large number of changes when adding optional initialization fields.
update cfg(bootstrap)2025-05-12T13:33:37+00:00Pietro Albinipietro@pietroalbini.org2025-05-10T08:51:12+00:00urn:sha1:2ce08ca5d6046600ff641bfa4018247f3b9451c5Rollup merge of #140234 - nnethercote:separate-Analysis-and-Results, r=davidtwco2025-05-07T16:19:04+00:00Guillaume Gomezguillaume1.gomez@gmail.com2025-05-07T16:19:04+00:00urn:sha1:82c99c41c0dc8692bb2261f16962ccf65b38c7ad
Separate dataflow analysis and results
`Analysis` gets put into `Results` with `EntryStates`, by `iterate_to_fixpoint`. This has two problems:
- `Results` is passed various places where only `Analysis` is needed.
- `EntryStates` is passed around mutably everywhere even though it is immutable.
This commit mostly separates `Analysis` from `Results` and fixes these two problems.
r? `@davidtwco`
AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}, scoped async drop added.2025-04-28T09:23:13+00:00Andrew Zhoginandrew.zhogin@gmail.com2024-08-26T13:45:15+00:00urn:sha1:c366756a8537ef998d32c1ef57098d5aae7ca92fRollup merge of #140202 - est31:let_chains_feature_compiler, r=lcnr2025-04-25T05:50:25+00:00Matthias Krüger476013+matthiaskrgr@users.noreply.github.com2025-04-25T05:50:25+00:00urn:sha1:564e5ccb5c91aa520c63266b0af5a912efcbb089
Make #![feature(let_chains)] bootstrap conditional in compiler/
Let chains have been stabilized recently in #132833, so we can remove the gating from our uses in the compiler (as the compiler uses edition 2024).