Module visitor 

Re-exports

use rustc_middle::mir; 🔒

use rustc_middle::mir::BasicBlock; 🔒

use rustc_middle::mir::Location; 🔒

use super::Analysis; 🔒

use super::Direction; 🔒

use super::Results; 🔒

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_results

Calls the visitor methods in vis for every location in every block in blocks. Note that every block in blocks must be reachable, and a debug_assert checks this.