Searched refs:PredicateToUsers (Results 1 – 1 of 1) sorted by relevance
579 PredicateToUsers; member in __anon1f4f44df0211::NewGVN2072 PredicateToUsers[PBranch->Condition].insert(User); in addAdditionalUsers()2074 PredicateToUsers[PAssume->Condition].insert(User); in addAdditionalUsers()2107 touchAndErase(PredicateToUsers, I); in markPredicateUsersTouched()2979 PredicateToUsers.clear(); in cleanupTables()