Lines Matching defs:FCS

825   void checkPostStmt(const ObjCForCollectionStmt *FCS, CheckerContext &C) const;
862                                              const ObjCForCollectionStmt *FCS) {
866   SVal CollectionVal = C.getSVal(FCS->getCollection());
888                                           const ObjCForCollectionStmt *FCS) {
893   if (!isKnownNonNilCollectionType(FCS->getCollection()->getType()))
897   const Stmt *Element = FCS->getElement();
952                          const ObjCForCollectionStmt *FCS,
957   SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol();
963                                              const ObjCForCollectionStmt *FCS) {
969     return BE->getSrc()->getLoopTarget() == FCS;
974     if (alreadyExecutedAtLeastOneLoopIteration(N, FCS))
981 void ObjCLoopChecker::checkPostStmt(const ObjCForCollectionStmt *FCS,
986   if (!ExprEngine::hasMoreIteration(State, FCS, C.getLocationContext())) {
987     if (!alreadyExecutedAtLeastOneLoopIteration(C.getPredecessor(), FCS))
988       State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/false);
992     State = checkCollectionNonNil(C, State, FCS);
993     State = checkElementNonNil(C, State, FCS);
994     State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/true);