Searched refs:OneSuccessorDone (Results 1 – 1 of 1) sorted by relevance
2073 bool OneSuccessorDone = false; in calcPredicateUsingBooleans() local2079 } else if (!Succ0 || !Succ1 || OneSuccessorDone) { in calcPredicateUsingBooleans()2092 OneSuccessorDone = true; in calcPredicateUsingBooleans()