reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Overridden By

tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

  504 SVal SimpleSValBuilder::evalBinOpNN(ProgramStateRef state,

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h

  586     return svalBuilder.evalBinOpNN(state, op, L, R, T);
  591     return R.isValid() ? svalBuilder.evalBinOpNN(state, op, L,

tools/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp

  155     SVal lowerBound = svalBuilder.evalBinOpNN(state, BO_LT, rawOffsetVal, *NV,
  194     SVal upperbound = svalBuilder.evalBinOpNN(state, BO_GE, rawOffsetVal,
  286   return sb.evalBinOpNN(state, BO_Mul, baseVal,
  300   return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(),

tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

  409   SVal Offset = svalBuilder.evalBinOpNN(state, BO_Sub, *Length, One, sizeTy);
  679     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
  684     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,
  692     SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
  782       SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn,
  910   SVal Offset = svalBuilder.evalBinOpNN(state, BO_Sub, *Length, One, sizeTy);
 1425               .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)
 1447         state = state->assume(C.getSValBuilder().evalBinOpNN(
 1453         state = state->assume(C.getSValBuilder().evalBinOpNN(
 1605           svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)
 1634           maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add,
 1669         maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL,
 1689           SVal copiedLessThanBound = svalBuilder.evalBinOpNN(state, BO_LE,
 1701           SVal copiedLessThanSrc = svalBuilder.evalBinOpNN(state, BO_LE,
 1746       finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *srcStrLengthNL,
 1761           SVal sourceInResult = svalBuilder.evalBinOpNN(state, BO_GE,
 1773           SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE,

tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp

 2116       SVB.evalBinOpNN(State, BO_LE, nonloc::SymbolVal(Sym),
 2126       SVB.evalBinOpNN(State, BO_GE, nonloc::SymbolVal(Sym),
 2271   auto Diff = SVB.evalBinOpNN(State, BO_Sub, nonloc::SymbolVal(OrigExpr),
 2279   return SVB.evalBinOpNN(State, BO_Add, *DiffInt, nonloc::SymbolVal(NewSym),

tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

 1024   SVal MaskedFlagsUC = C.getSValBuilder().evalBinOpNN(State, BO_And,
 1407     SVal SizeInBytes = svalBuilder.evalBinOpNN(

tools/clang/lib/StaticAnalyzer/Checkers/UnixAPIChecker.cpp

  240   SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And,

tools/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp

  165   SVal ArraySizeVal = svalBuilder.evalBinOpNN(

tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp

  337   SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
  344     svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(),
  351   SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),

tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp

  433   return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(),
  513       evalBinOpNN(state, BO_LE, FromVal, ToTypeMaxVal, CmpTy).castAs<NonLoc>();

tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

  317       SVB.evalBinOpNN(State, Rel, nonloc::SymbolVal(Sym),
  397     return SVB.evalBinOpNN(State, Op, nonloc::ConcreteInt(LInt),