Searched refs:IndexTooLarge (Results 1 – 1 of 1) sorted by relevance
79 auto IndexTooLarge = SVB.evalBinOp(C.getState(), BO_GT, ElemReg->getIndex(), in checkArrayBounds() local82 if (IndexTooLarge) { in checkArrayBounds()84 std::tie(S1, S2) = C.getState()->assume(*IndexTooLarge); in checkArrayBounds()