Home
last modified time | relevance | path

Searched refs:BlockBody (Results 1 – 2 of 2) sorted by relevance

/tools/dexter/slicer/
Dcontrol_flow_graph.cc34 SLICER_CHECK(state_ != State::BlockBody); in Finish()
44 state_ = State::BlockBody; in Visit()
47 state_ = State::BlockBody; in Visit()
49 case State::BlockBody: in Visit()
83 case State::BlockBody: in Visit()
119 if (state_ == State::BlockBody) { in EndBlock()
/tools/dexter/slicer/export/slicer/
Dcontrol_flow_graph.h39 enum class State { Outside, BlockHeader, BlockBody }; enumerator