Searched defs:assumeCollectionNonEmpty (Results 1 - 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BasicObjCFoundationChecks.cpp | 944 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State, function
975 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State, function
983 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption);
1018 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/false);
1024 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/true);
1083 State = assumeCollectionNonEmpty(C, State, ContainerS, *NonEmpty);
|
Completed in 69 milliseconds