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

References

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

  321   ProgramStateManager &Mgr = State->getStateManager();
  333   if (auto CompV = SVB.evalBinOp(State, Op, V, OtherV, CondT)
  335     State = State->assume(*CompV, true);
  335     State = State->assume(*CompV, true);
  336   return State;