33   SLICER_WEAK_CHECK(state_ == State::Outside);  in Finish()
34   SLICER_CHECK(state_ != State::BlockBody);  in Finish()
36   state_ = State::Outside;  in Finish()
42     case State::Outside:  in Visit()
44       state_ = State::BlockBody;  in Visit()
46     case State::BlockHeader:  in Visit()
47       state_ = State::BlockBody;  in Visit()
49     case State::BlockBody:  in Visit()
80     case State::Outside:  in Visit()
83     case State::BlockBody:  in Visit()
87     case State::BlockHeader:  in Visit()
94   if (state_ == State::Outside) {  in HandleAnnotation()
101   if (state_ != State::Outside) {  in SkipInstruction()
109   assert(state_ == State::Outside);  in StartBlock()
114   state_ = State::BlockHeader;  in StartBlock()
119   if (state_ == State::BlockBody) {  in EndBlock()
125     assert(state_ == State::BlockHeader);  in EndBlock()
128   state_ = State::Outside;  in EndBlock()