Lines Matching refs:evalBinOpNN
371 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();
561 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
566 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,
574 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
1174 state->assume(C.getSValBuilder().evalBinOpNN(
1196 state = state->assume(C.getSValBuilder().evalBinOpNN(
1202 state = state->assume(C.getSValBuilder().evalBinOpNN(
1341 svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)
1370 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add,
1401 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL,
1421 SVal copiedLessThanBound = svalBuilder.evalBinOpNN(state, BO_LE,
1433 SVal copiedLessThanSrc = svalBuilder.evalBinOpNN(state, BO_LE,
1478 finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *srcStrLengthNL,
1493 SVal sourceInResult = svalBuilder.evalBinOpNN(state, BO_GE,
1505 SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE,
