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

References

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

  981   SVal CollectionSentinel = C.getSVal(FCS);
  983     if (!alreadyExecutedAtLeastOneLoopIteration(C.getPredecessor(), FCS))
  984       State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/false);
  988     State = checkCollectionNonNil(C, State, FCS);
  989     State = checkElementNonNil(C, State, FCS);
  990     State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/true);