Module visitor

rustc_mir_dataflow::framework

Module visitor 

Source

Traits§

ResultsVisitor
A visitor over the results of an Analysis. Use this when you want to inspect domain values in many or all locations; use ResultsCursor if you want to inspect domain values only in certain locations.

Functions§

visit_reachable_results
Like visit_results, but only for reachable blocks.
visit_results
Calls the corresponding method in ResultsVisitor for every location in a mir::Body with the dataflow state at that location.