Home
last modified time | relevance | path

Searched refs:evalBinOpNN (Results 1 – 10 of 10) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DArrayBoundCheckerV2.cpp115 svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(), *NV, in checkLocation()
146 = svalBuilder.evalBinOpNN(state, BO_GE, rawOffset.getByteOffset(), in checkLocation()
234 return sb.evalBinOpNN(state, BO_Mul, baseVal, in scaleValue()
248 return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(), in addValue()
DCStringChecker.cpp376 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>(); in CheckBufferAccess()
567 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right, in checkAdditionOverflow()
572 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, in checkAdditionOverflow()
580 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left, in checkAdditionOverflow()
688 SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn, in getCStringLengthForRegion()
1223 .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy) in evalstrLengthCommon()
1245 state = state->assume(C.getSValBuilder().evalBinOpNN( in evalstrLengthCommon()
1251 state = state->assume(C.getSValBuilder().evalBinOpNN( in evalstrLengthCommon()
1391 svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy) in evalStrcpyCommon()
1420 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add, in evalStrcpyCommon()
[all …]
DVLASizeChecker.cpp164 SVal ArraySizeVal = svalBuilder.evalBinOpNN( in checkPreStmt()
DUnixAPIChecker.cpp140 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And, in CheckOpen()
DMallocChecker.cpp718 SVal MaskedFlagsUC = C.getSValBuilder().evalBinOpNN(State, BO_And, in performKernelMalloc()
/external/clang/lib/StaticAnalyzer/Core/
DSimpleSValBuilder.cpp36 SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
304 SVal SimpleSValBuilder::evalBinOpNN(ProgramStateRef state, in evalBinOpNN() function in SimpleSValBuilder
711 return evalBinOpNN(state, op, l, r, resultTy); in evalBinOpLL()
802 return evalBinOpNN(state, op, *LeftIndex, *RightIndex, resultTy); in evalBinOpLL()
908 index = evalBinOpNN(state, op, elemReg->getIndex(), rhs, in evalBinOpLN()
DProgramState.cpp326 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add, in assumeInBound()
333 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), in assumeInBound()
340 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBound()
DSValBuilder.cpp358 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(), in evalBinOp()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.h474 return svalBuilder.evalBinOpNN(state, op, L, R, T); in evalBinOp()
479 return R.isValid() ? svalBuilder.evalBinOpNN(state, op, L, in evalBinOp()
DSValBuilder.h93 virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,