Searched refs:PredicateToUsers (Results 1 – 1 of 1) sorted by relevance
576 PredicateToUsers; member in __anonb04f3f7e0211::NewGVN2075 PredicateToUsers[PBranch->Condition].insert(User); in addAdditionalUsers()2077 PredicateToUsers[PAssume->Condition].insert(User); in addAdditionalUsers()2110 touchAndErase(PredicateToUsers, I); in markPredicateUsersTouched()2985 PredicateToUsers.clear(); in cleanupTables()