Searched refs:IndexTooSmall (Results 1 – 1 of 1) sorted by relevance
90 auto IndexTooSmall = SVB.evalBinOp(State, BO_LT, ElemReg->getIndex(), in checkArrayBounds() local94 if (IndexTooSmall) { in checkArrayBounds()96 std::tie(S1, S2) = State->assume(*IndexTooSmall); in checkArrayBounds()