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