diff options
| author | Tyler Mandry <tmandry@gmail.com> | 2019-09-30 14:38:22 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-30 14:38:22 -0700 |
| commit | 686ad4da9ef71ae7df9d57a036e614b01fab8c59 (patch) | |
| tree | 18c3bee849d9248d14423ec20f307d8da29b843e /src/test/ui/iterators/iter-sum-overflow-overflow-checks.rs | |
| parent | fb8f9b47eb47e66f180e302c2ee40b6fe451e447 (diff) | |
| parent | 2b8e023b9d28f2f912ad21427b5266b62c007f11 (diff) | |
| download | rust-686ad4da9ef71ae7df9d57a036e614b01fab8c59.tar.gz rust-686ad4da9ef71ae7df9d57a036e614b01fab8c59.zip | |
Rollup merge of #64828 - ecstatic-morse:generic-dataflow-graphviz, r=oli-obk
Graphviz debug output for generic dataflow analysis
A follow up to #64566.
This outputs graphviz diagrams in the generic dataflow engine when `#[rustc_mir(borrowck_graphviz_postflow="suffix.dot")]` is set on an item. This code is based on [`dataflow/graphviz.rs`](https://github.com/rust-lang/rust/blob/master/src/librustc_mir/dataflow/graphviz.rs), but displays different information since there are no "gen"/"kill" sets and transfer functions cannot be coalesced in the generic analysis. As a result, we show the dataflow state at the start and end of each block, as well as the changes resulting from each statement. I also render the state bitset in full (`{_1,_2}`) instead of hex-encoded as the current renderer does (`06`).
Diffstat (limited to 'src/test/ui/iterators/iter-sum-overflow-overflow-checks.rs')
0 files changed, 0 insertions, 0 deletions