Searched refs:isClassDataConsistent (Results 1 – 1 of 1) sorted by relevance
615 isClassDataConsistent(ProgramStateRef State);2132 bool EquivalenceClass::isClassDataConsistent(ProgramStateRef State) { in isClassDataConsistent() function in EquivalenceClass2386 assert(EquivalenceClass::isClassDataConsistent(State)); in removeDeadBindings()