Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSValBuilder.cpp346 return evalBinOpLN(state, op, *LV, rhs.castAs<NonLoc>(), type); in evalBinOp()
355 return evalBinOpLN(state, op, *RV, lhs.castAs<NonLoc>(), type); in evalBinOp()
DSimpleSValBuilder.cpp40 SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,
857 SVal SimpleSValBuilder::evalBinOpLN(ProgramStateRef state, in evalBinOpLN() function in SimpleSValBuilder
/external/clang/lib/StaticAnalyzer/Checkers/
DCStringChecker.cpp383 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
403 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
499 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, in CheckOverlap()
977 SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add, in evalCopyCommon()
1589 SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
1600 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSValBuilder.h104 virtual SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,