Searched refs:isClassDataConsistent (Results 1 – 1 of 1) sorted by relevance
987 isClassDataConsistent(ProgramStateRef State);2754 bool EquivalenceClass::isClassDataConsistent(ProgramStateRef State) { in isClassDataConsistent() function in EquivalenceClass3024 assert(EquivalenceClass::isClassDataConsistent(State)); in removeDeadBindings()