433   std::vector<Variable> ActiveVars;  member in clang::dataflow::WatchedLiteralsSolverImpl
452         ActiveVars.push_back(Var);  in WatchedLiteralsSolverImpl()
458     while (I < ActiveVars.size()) {  in solve()
470       const Variable ActiveVar = ActiveVars[I];  in solve()
508         if (I + 1 < ActiveVars.size()) {  in solve()
511           ActiveVars[I] = ActiveVars.back();  in solve()
517         ActiveVars.pop_back();  in solve()
520       } else if (I + 1 == ActiveVars.size()) {  in solve()
531         ActiveVars.pop_back();  in solve()
574         ActiveVars.push_back(Var);  in reverseForcedMoves()
610         ActiveVars.push_back(NewWatchedLitVar);  in updateWatchedLiterals()
679     return llvm::all_of(ActiveVars, [this](Variable Var) {  in activeVarsAreUnassigned()
687     return llvm::all_of(ActiveVars, [&WatchedLiterals](Variable Var) {  in activeVarsFormWatchedLiterals()
696     const llvm::DenseSet<Variable> ActiveVarsSet(ActiveVars.begin(),  in unassignedVarsFormingWatchedLiteralsAreActive()
697                                                  ActiveVars.end());  in unassignedVarsFormingWatchedLiteralsAreActive()