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

References

tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
  984       State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/false);
  984       State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/false);
  988     State = checkCollectionNonNil(C, State, FCS);
  988     State = checkCollectionNonNil(C, State, FCS);
  989     State = checkElementNonNil(C, State, FCS);
  989     State = checkElementNonNil(C, State, FCS);
  990     State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/true);
  990     State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/true);
  993   if (!State)
  995   else if (State != C.getState())
  996     C.addTransition(State);