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

Lines Matching refs:evalBinOpLN

396 evalBinOpLN(state, BO_Add, *BufLoc,
416       SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,
512   SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add,
865       svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, LastOffset, PtrTy);
1062         SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add,
1674         SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,
1685       SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,

OpenGrok