Searched refs:ActiveVarsSet (Results 1 – 1 of 1) sorted by relevance
696 const llvm::DenseSet<Variable> ActiveVarsSet(ActiveVars.begin(), in unassignedVarsFormingWatchedLiteralsAreActive() local702 if (ActiveVarsSet.contains(Var)) in unassignedVarsFormingWatchedLiteralsAreActive()