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

References

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

  105   ProgramStateManager &Mgr = State->getStateManager();
  107     LHSVal = Mgr.getStoreManager().getBinding(State->getStore(),
  114   SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal,
  119   std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>());