Searched refs:PredicateToUsers (Results 1 – 1 of 1) sorted by relevance
576 PredicateToUsers; member in __anon46287ded0311::NewGVN2124 PredicateToUsers[PBranch->Condition].insert(I); in addPredicateUsers()2126 PredicateToUsers[PAssume->Condition].insert(I); in addPredicateUsers()2131 touchAndErase(PredicateToUsers, I); in markPredicateUsersTouched()2995 PredicateToUsers.clear(); in cleanupTables()