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 113 = svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(),
145 = svalBuilder.evalBinOpNN(state, BO_GE, rawOffset.getByteOffset(),
227 return sb.evalBinOpNN(state, BO_Mul, baseVal,
241 return svalBuilder.evalBinOpNN(state, BO_Add,
UnixAPIChecker.cpp 97 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And,
VLASizeChecker.cpp 116 SVal ArraySizeVal = svalBuilder.evalBinOpNN(state, BO_Mul, ArrayLength,
CStringChecker.cpp 352 NonLoc LastOffset = cast<NonLoc>(svalBuilder.evalBinOpNN(state, BO_Sub,
535 SVal maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
541 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,
549 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
    [all...]
  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 285 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
292 svalBuilder.evalBinOpNN(this, BO_Add, cast<NonLoc>(UpperBound),
299 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT,
SimpleSValBuilder.cpp 34 virtual SVal evalBinOpNN(const ProgramState *state, BinaryOperator::Opcode op,
273 SVal SimpleSValBuilder::evalBinOpNN(const ProgramState *state,
545 // However, if a pointer is casted to an integer, evalBinOpNN may end up
743 // evalBinOpNN expects the two indexes to already be the right type.
744 return evalBinOpNN(state, op, *LeftIndex, *RightIndex, resultTy);
902 index = evalBinOpNN(state, op, elemReg->getIndex(), rhs,
    [all...]
SValBuilder.cpp 190 return evalBinOpNN(state, op, cast<NonLoc>(lhs), cast<NonLoc>(rhs), type);
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h 405 return svalBuilder.evalBinOpNN(state, op, L, R, T);
410 return R.isValid() ? svalBuilder.evalBinOpNN(state,op,L, cast<NonLoc>(R), T) : R;
SValBuilder.h 75 virtual SVal evalBinOpNN(const ProgramState *state, BinaryOperator::Opcode op,

Completed in 2869 milliseconds