Searched refs:CollectionS (Results 1 – 2 of 2) sorted by relevance
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | BasicObjCFoundationChecks.cpp | 915 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty() argument
916 if (!State || !CollectionS) in assumeCollectionNonEmpty()
919 const SymbolRef *CountS = State->get<ContainerCountMap>(CollectionS); in assumeCollectionNonEmpty()
921 const bool *KnownNonEmpty = State->get<ContainerNonEmptyMap>(CollectionS); in assumeCollectionNonEmpty()
923 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption); in assumeCollectionNonEmpty()
951 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); in assumeCollectionNonEmpty() local
952 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption); in assumeCollectionNonEmpty()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BasicObjCFoundationChecks.cpp | 943 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty() argument
944 if (!State || !CollectionS) in assumeCollectionNonEmpty()
947 const SymbolRef *CountS = State->get<ContainerCountMap>(CollectionS); in assumeCollectionNonEmpty()
949 const bool *KnownNonEmpty = State->get<ContainerNonEmptyMap>(CollectionS); in assumeCollectionNonEmpty()
951 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption); in assumeCollectionNonEmpty()
979 SymbolRef CollectionS = in assumeCollectionNonEmpty() local
981 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption); in assumeCollectionNonEmpty()
|