Searched refs:assumeCollectionNonEmpty (Results 1 – 1 of 1) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BasicObjCFoundationChecks.cpp | 914 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State, in assumeCollectionNonEmpty() function
945 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State, in assumeCollectionNonEmpty() function
952 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption); in assumeCollectionNonEmpty()
983 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/false); in checkPostStmt()
989 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/true); in checkPostStmt()
1045 State = assumeCollectionNonEmpty(C, State, ContainerS, *NonEmpty); in checkPostObjCMessage()
|