Searched refs:evalBinOpLN (Results 1 – 4 of 4) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 396 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
416 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
512 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, in CheckOverlap()
865 svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, LastOffset, PtrTy); in IsFirstBufInBound()
1062 SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add, in evalCopyCommon()
1674 SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
1685 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SValBuilder.cpp | 379 return evalBinOpLN(state, op, *LV, rhs.castAs<NonLoc>(), type); in evalBinOp()
388 return evalBinOpLN(state, op, *RV, lhs.castAs<NonLoc>(), type); in evalBinOp()
|
| D | SimpleSValBuilder.cpp | 40 SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,
857 SVal SimpleSValBuilder::evalBinOpLN(ProgramStateRef state, in evalBinOpLN() function in SimpleSValBuilder
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 109 virtual SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,
|