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()
235 return sb.evalBinOpNN(state, BO_Mul, baseVal, in scaleValue()
249 return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(), in addValue()
DCStringChecker.cpp389 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>(); in CheckBufferAccess()
579 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right, in checkAdditionOverflow()
584 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, in checkAdditionOverflow()
592 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left, in checkAdditionOverflow()
700 SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn, in getCStringLengthForRegion()
855 svalBuilder.evalBinOpNN(state, BO_Sub, *Length, One, sizeTy) in IsFirstBufInBound()
1308 .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy) in evalstrLengthCommon()
1330 state = state->assume(C.getSValBuilder().evalBinOpNN( in evalstrLengthCommon()
1336 state = state->assume(C.getSValBuilder().evalBinOpNN( in evalstrLengthCommon()
1476 svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy) in evalStrcpyCommon()
[all …]
DVLASizeChecker.cpp163 SVal ArraySizeVal = svalBuilder.evalBinOpNN( in checkPreStmt()
DUnixAPIChecker.cpp140 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And, in CheckOpen()
DMallocChecker.cpp728 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.cpp391 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(), in evalBinOp()
459 evalBinOpNN(state, BO_LE, FromVal, ToTypeMaxVal, CmpTy).castAs<NonLoc>(); in evalIntegralCast()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.h489 return svalBuilder.evalBinOpNN(state, op, L, R, T); in evalBinOp()
494 return R.isValid() ? svalBuilder.evalBinOpNN(state, op, L, in evalBinOp()
DSValBuilder.h98 virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,