Searched refs:evalBinOpLN (Results 1 – 4 of 4) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 392 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
412 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
508 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, in CheckOverlap()
861 svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, LastOffset, PtrTy); in IsFirstBufInBound()
1058 SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add, in evalCopyCommon()
1670 SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
1681 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SValBuilder.cpp | 374 return evalBinOpLN(state, op, *LV, rhs.castAs<NonLoc>(), type); in evalBinOp()
383 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 | 104 virtual SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,
|