side project: include dataflow analysis/analyses in --pretty flowgraph
#15016
Labels
E-mentor
Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.
Comments
|
I would be willing to mentor this. |
pnkfelix
added a commit
to pnkfelix/rust
that referenced
this issue
Jul 15, 2014
Use one or more of the following `-Z` flag options to tell the graphviz renderer to include the corresponding dataflow sets (after the iterative constraint propagation reaches a fixed-point solution): * `-Z flowgraph-print-loans` : loans computed via middle::borrowck * `-Z flowgraph-print-moves` : moves computed via middle::borrowck::move_data * `-Z flowgraph-print-assigns` : assignments, via middle::borrowck::move_data * `-Z flowgraph-print-all` : all of the available sets are included. Fix rust-lang#15016. ---- This also adds a module, `syntax::ast_map::blocks`, that captures a common abstraction shared amongst code blocks and procedure-like things. As part of this, moved `ast_map.rs` to subdir `ast_map/mod.rs`, to follow our directory layout conventions. (incorporated review feedback from huon, acrichto.)
bors
added a commit
that referenced
this issue
Jul 15, 2014
…excrichton Use one or more of the following `-Z` flag options to tell the graphviz renderer to include the corresponding dataflow sets (after the iterative constraint propagation reaches a fixed-point solution): * `-Z flowgraph-print-loans` : loans computed via middle::borrowck * `-Z flowgraph-print-moves` : moves computed via middle::borrowck::move_data * `-Z flowgraph-print-assigns` : assignments, via middle::borrowck::move_data * `-Z flowgraph-print-all` : all of the available sets are included. Fix #15016.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Right now, if you are debugging a dataflow analysis, you can see the the results of the analysis via
debug!by various settings of theRUST_LOGenvironment variable.It might be nice to expand the
--pretty flowgraphoutput to allow one to annotate the labels in the graphviz output with result of the dataflow analysis.The text was updated successfully, but these errors were encountered: