Searched refs:ActiveVars (Results 1 – 1 of 1) sorted by relevance
433 std::vector<Variable> ActiveVars; member in clang::dataflow::WatchedLiteralsSolverImpl452 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()[all …]