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

References

tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
  978   ProgramStateRef State = C.getState();
  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);
  994     C.generateSink(C.getState(), C.getPredecessor());
  994     C.generateSink(C.getState(), C.getPredecessor());
  994     C.generateSink(C.getState(), C.getPredecessor());
  995   else if (State != C.getState())
  996     C.addTransition(State);