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

References

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

  536   ProgramStateRef AssumeNonZeroReturn = State;
  537   ProgramStateRef AssumeZeroReturn = State;
  543       return {State};
  560     SVal PointeeVal = State->getSVal(ArgRegion);