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