Traits

Functions

  • Calls the corresponding method in ResultsVisitor for every location in a mir::Body with the dataflow state at that location.