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 369 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();
559 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
564 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,
572 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 444 return svalBuilder.evalBinOpNN(state, op, L, R, T);
449 return R.isValid() ? svalBuilder.evalBinOpNN(state, op, L,
SValBuilder.h 92 virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
  /external/clang/lib/StaticAnalyzer/Core/
SimpleSValBuilder.cpp 36 virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
305 SVal SimpleSValBuilder::evalBinOpNN(ProgramStateRef state,
541 // However, if a pointer is casted to an integer, evalBinOpNN may end up
760 // evalBinOpNN expects the two indexes to already be the right type.
761 return evalBinOpNN(state, op, *LeftIndex, *RightIndex, resultTy);
    [all...]
ProgramState.cpp 303 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
310 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(),
317 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),
SValBuilder.cpp 276 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(),

Completed in 145 milliseconds