Searched refs:isClassDataConsistent (Results 1 – 1 of 1) sorted by relevance
589 isClassDataConsistent(ProgramStateRef State);1908 bool EquivalenceClass::isClassDataConsistent(ProgramStateRef State) { in isClassDataConsistent() function in EquivalenceClass2162 assert(EquivalenceClass::isClassDataConsistent(State)); in removeDeadBindings()