Lines Matching refs:MarkState
988 visitState_.resize(size, MarkState::UNVISITED);
997 visitState_[bbId] = MarkState::PENDING;
1003 if (visitState_[succId] == MarkState::UNVISITED) {
1005 visitState_[succId] = MarkState::ON_STACK;
1008 } else if (visitState_[succId] == MarkState::PENDING) {
1018 if (visitState_[catchId] == MarkState::UNVISITED) {
1020 visitState_[catchId] = MarkState::ON_STACK;
1022 } else if (visitState_[catchId] == MarkState::PENDING) {
1028 visitState_[bbId] = MarkState::VISITED;
1047 if (bb.numOfStatePreds != 0 && visitState_[i] == MarkState::UNVISITED) {
1162 visitState_.emplace_back(MarkState::UNVISITED1);
1224 if (visitState_[curState.bbId] == MarkState::ON_STACK) {
1230 visitState_[curState.bbId] = MarkState::VISITED1;
1240 } else if (visitState_[bbNext->id] == MarkState::UNVISITED1) {
1246 visitState_[curState.bbId] = MarkState::VISITED1;
1255 if (visitState_[bbId] == MarkState::UNVISITED1) {
1258 visitState_[bbId] = MarkState::ON_STACK;
1339 enum class MarkState : uint8_t {
1352 ChunkVector<MarkState> visitState_;