Searched defs:FCS (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp806 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)
841 checkCollectionNonNil(CheckerContext &C, ProgramStateRef State, const ObjCForCollectionStmt *FCS) argument
866 checkElementNonNil(CheckerContext &C, ProgramStateRef State, const ObjCForCollectionStmt *FCS) argument
899 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State, const ObjCForCollectionStmt *FCS, bool Assumption = false) argument
931 alreadyExecutedAtLeastOneLoopIteration(const ExplodedNode *N, const ObjCForCollectionStmt *FCS) argument
953 checkPostStmt(const ObjCForCollectionStmt *FCS, CheckerContext &C) const argument
[all...]

Completed in 56 milliseconds