Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp

Lines Matching refs:FCS
806   void checkPostStmt(const ObjCForCollectionStmt *FCS, CheckerContext &C) const;
843                                              const ObjCForCollectionStmt *FCS) {
847   SVal CollectionVal = C.getSVal(FCS->getCollection());
868                                           const ObjCForCollectionStmt *FCS) {
873   if (!isKnownNonNilCollectionType(FCS->getCollection()->getType()))
877   const Stmt *Element = FCS->getElement();
901                                             const ObjCForCollectionStmt *FCS,
906   SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol();
932                                              const ObjCForCollectionStmt *FCS) {
938     if (BE->getSrc()->getLoopTarget() == FCS)
946     if (alreadyExecutedAtLeastOneLoopIteration(*I, FCS))
953 void ObjCLoopChecker::checkPostStmt(const ObjCForCollectionStmt *FCS,
958   SVal CollectionSentinel = C.getSVal(FCS);
960     if (!alreadyExecutedAtLeastOneLoopIteration(C.getPredecessor(), FCS))
961       State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/false);
965     State = checkCollectionNonNil(C, State, FCS);
966     State = checkElementNonNil(C, State, FCS);
967     State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/true);