HomeSort by relevance Sort by last modified time
    Searched refs:evalBinOpNN (Results 1 - 9 of 9) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
ArrayBoundCheckerV2.cpp 115 svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(), *NV,
146 = svalBuilder.evalBinOpNN(state, BO_GE, rawOffset.getByteOffset(),
245 return sb.evalBinOpNN(state, BO_Mul, baseVal,
259 return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(),
CStringChecker.cpp 371 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();
561 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
566 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,
574 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
    [all...]
VLASizeChecker.cpp 141 SVal ArraySizeVal = svalBuilder.evalBinOpNN(
UnixAPIChecker.cpp 113 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And,
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h 453 return svalBuilder.evalBinOpNN(state, op, L, R, T);
458 return R.isValid() ? svalBuilder.evalBinOpNN(state, op, L,
SValBuilder.h 93 virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
  /external/clang/lib/StaticAnalyzer/Core/
SimpleSValBuilder.cpp 36 virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
278 SVal SimpleSValBuilder::evalBinOpNN(ProgramStateRef state,
564 // However, if a pointer is casted to an integer, evalBinOpNN may end up
781 // evalBinOpNN expects the two indexes to already be the right type.
782 return evalBinOpNN(state, op, *LeftIndex, *RightIndex, resultTy);
    [all...]
ProgramState.cpp 347 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
354 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(),
361 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),
SValBuilder.cpp 356 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(),

Completed in 43 milliseconds