Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

Lines Matching refs:evalBinOpNN
389       .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();
579     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
584     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,
592     SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
700       SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn,
855       svalBuilder.evalBinOpNN(state, BO_Sub, *Length, One, sizeTy)
1308               .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)
1330         state = state->assume(C.getSValBuilder().evalBinOpNN(
1336         state = state->assume(C.getSValBuilder().evalBinOpNN(
1476           svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)
1505           maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add,
1536         maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL,
1556           SVal copiedLessThanBound = svalBuilder.evalBinOpNN(state, BO_LE,
1568           SVal copiedLessThanSrc = svalBuilder.evalBinOpNN(state, BO_LE,
1613       finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *srcStrLengthNL,
1628           SVal sourceInResult = svalBuilder.evalBinOpNN(state, BO_GE,
1640           SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE,
OpenGrok
