Searched refs:badCond (Results 1 – 1 of 1) sorted by relevance
4466 bool badCond = ! loop->getTest(); in inductiveLoopCheck() local4467 if (! badCond) { in inductiveLoopCheck()4469 badCond = ! binaryCond; in inductiveLoopCheck()4470 if (! badCond) { in inductiveLoopCheck()4480 badCond = true; in inductiveLoopCheck()4486 badCond = true; in inductiveLoopCheck()4488 if (badCond) { in inductiveLoopCheck()