Searched refs:PredicateToUsers (Results 1 – 1 of 1) sorted by relevance
576 PredicateToUsers; member in __anonc9d17a0b0311::NewGVN2121 PredicateToUsers[PBranch->Condition].insert(I); in addPredicateUsers()2123 PredicateToUsers[PAssume->Condition].insert(I); in addPredicateUsers()2128 touchAndErase(PredicateToUsers, I); in markPredicateUsersTouched()2992 PredicateToUsers.clear(); in cleanupTables()