32   SLICER_WEAK_CHECK(state_ == State::Outside);  in Finish()
33   SLICER_CHECK(state_ != State::BlockBody);  in Finish()
35   state_ = State::Outside;  in Finish()
41     case State::Outside:  in Visit()
43       state_ = State::BlockBody;  in Visit()
45     case State::BlockHeader:  in Visit()
46       state_ = State::BlockBody;  in Visit()
48     case State::BlockBody:  in Visit()
79     case State::Outside:  in Visit()
82     case State::BlockBody:  in Visit()
86     case State::BlockHeader:  in Visit()
93   if (state_ == State::Outside) {  in HandleAnnotation()
100   if (state_ != State::Outside) {  in SkipInstruction()
108   assert(state_ == State::Outside);  in StartBlock()
113   state_ = State::BlockHeader;  in StartBlock()
118   if (state_ == State::BlockBody) {  in EndBlock()
124     assert(state_ == State::BlockHeader);  in EndBlock()
127   state_ = State::Outside;  in EndBlock()