Searched refs:binaryCond (Results 1 – 1 of 1) sorted by relevance
5240 TIntermBinary* binaryCond = loop->getTest()->getAsBinaryNode(); in inductiveLoopCheck() local5241 badCond = ! binaryCond; in inductiveLoopCheck()5243 switch (binaryCond->getOp()) { in inductiveLoopCheck()5255 if (binaryCond && (! binaryCond->getLeft()->getAsSymbolNode() || in inductiveLoopCheck()5256 binaryCond->getLeft()->getAsSymbolNode()->getId() != loopIndex || in inductiveLoopCheck()5257 ! binaryCond->getRight()->getAsConstantUnion())) in inductiveLoopCheck()