Home
last modified time | relevance | path

Searched refs:evalBinOpLN (Results 1 – 4 of 4) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DCStringChecker.cpp378 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
398 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
494 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, in CheckOverlap()
937 SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add, in evalCopyCommon()
1539 SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
1550 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
/external/clang/lib/StaticAnalyzer/Core/
DSValBuilder.cpp344 return evalBinOpLN(state, op, *LV, rhs.castAs<NonLoc>(), type); in evalBinOp()
353 return evalBinOpLN(state, op, *RV, lhs.castAs<NonLoc>(), type); in evalBinOp()
DSimpleSValBuilder.cpp40 virtual SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,
837 SVal SimpleSValBuilder::evalBinOpLN(ProgramStateRef state, in evalBinOpLN() function in SimpleSValBuilder
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSValBuilder.h104 virtual SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,