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