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

Declarations

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

  144   SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,

References

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

  597     return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);

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

  929     SvalBuilder.evalBinOp(State, BO_GT,

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

   87     svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal,
  123     svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal,

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

 1118       SVal NewStrLenGESize = svalBuilder.evalBinOp(
 1205       SVal lastElement = C.getSValBuilder().evalBinOp(
 2017           svalBuilder.evalBinOp(state, op, resultVal, zeroVal,

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

 1328       SVB.evalBinOp(State, BO_Add,
 1354       SVB.evalBinOp(State, BO_Sub,
 1397         SVB.evalBinOp(State, BO_Sub,
 1432       SVB.evalBinOp(State, BO_Add,
 1539     SVB.evalBinOp(State, BO_Add,
 1575     return Pos.setTo(SVB.evalBinOp(State, BinOp,
 2046     SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1),
 2360     SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType());

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

 1050   SVal TotalSize = SB.evalBinOp(State, BO_Mul, BlocksVal, BlockBytesVal,

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

  333   if (auto CompV = SVB.evalBinOp(State, Op, V, OtherV, CondT)

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

  141   SVal LessThanZeroVal = svalBuilder.evalBinOp(state, BO_LT, sizeD, Zero, Ty);

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

  114   SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal,

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

  443   return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType());

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

 1302           S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));
 1324           S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));