rust/compiler/rustc_mir_dataflow/src/framework/engine.rs, branch 1.72.0https://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=1.72.02023-06-14T12:30:13+00:00make mir dataflow graphviz dumps opt-in2023-06-14T12:30:13+00:00Rémy Rakicremy.rakic+github@gmail.com2023-06-14T12:14:19+00:00urn:sha1:9395e2771ab0fab5d89f9422610b571096c87a3aTake MIR dataflow analyses by mutable reference.2023-05-18T21:46:39+00:00Jason Newcombjsnewcomb@pm.me2023-02-20T22:28:03+00:00urn:sha1:eaddc3707520988f8bc2d267cb192d2f0c63ee80Split `{Idx, IndexVec, IndexSlice}` into their own modules2023-04-24T13:53:35+00:00Maybe Wafflewaffle.lapkin@gmail.com2023-04-19T10:57:17+00:00urn:sha1:e496fbec922b22d9b506ba55386c482b4bf06378Disable path trimming during graphviz output2023-04-05T02:06:37+00:00clubby789jamie@hill-daniel.co.uk2023-04-05T02:06:37+00:00urn:sha1:422c33030f8d1137f78e4d9fef2777b12184e13fRemove dead unwinds before drop elaboration2023-02-23T13:05:03+00:00Tomasz Miąskotomasz.miasko@gmail.com2023-01-05T09:15:33+00:00urn:sha1:23e3840014e17cd20f6ebe5e268133b3ce5ab1a6
As a part of drop elaboration, we identify dead unwinds, i.e., unwind
edges on a drop terminators which are known to be unreachable, because
there is no need to drop anything.
Previously, the data flow framework was informed about the dead unwinds,
and it assumed those edges are absent from MIR. Unfortunately, the data
flow framework wasn't consistent in maintaining this assumption.
In particular, if a block was reachable only through a dead unwind edge,
its state was propagated to other blocks still. This became an issue in
the context of change removes DropAndReplace terminator, since it
introduces initialization into cleanup blocks.
To avoid this issue, remove unreachable unwind edges before the drop
elaboration, and elaborate only blocks that remain reachable.
Create `format_args` as late as possible2022-12-01T08:49:51+00:00Oli Scherergit-spam-no-reply9815368754983@oli-obk.de2022-12-01T08:49:51+00:00urn:sha1:4f593ce5d8ecaa36bf0c5edf0da96fb8a9ce30bdRollup merge of #99027 - tmiasko:basic-blocks, r=oli-obk2022-08-29T04:34:43+00:00Matthias Krügermatthias.krueger@famsik.de2022-08-29T04:34:43+00:00urn:sha1:d182081de1ae2fe580c038abd526d85cedafa712
Replace `Body::basic_blocks()` with field access
Since the refactoring in #98930, it is possible to borrow the basic blocks
independently from other parts of MIR by accessing the `basic_blocks` field
directly.
Replace unnecessary `Body::basic_blocks()` method with a direct field access,
which has an additional benefit of borrowing the basic blocks only.
Replace `Body::basic_blocks()` with field access2022-08-26T12:27:08+00:00Tomasz Miąskotomasz.miasko@gmail.com2022-07-05T00:00:00+00:00urn:sha1:b48870b451dd9d3f3f827aa54d9becdfdd811ba3Migrate rustc_mir_dataflow to diagnostic structs2022-08-23T10:24:51+00:0052252255225225@mailbox.org2022-08-19T09:21:14+00:00urn:sha1:ee2b16100e2fad2c08f01f913b826c00024f85a8Rename `debugging_opts` to `unstable_opts`2022-07-13T22:47:06+00:00Joshua Nelsonjnelson@cloudflare.com2022-07-06T12:44:47+00:00urn:sha1:3c9765cff18a3c4ba2962ea59d4c3f6966f9700c
This is no longer used only for debugging options (e.g. `-Zoutput-width`, `-Zallow-features`).
Rename it to be more clear.