Searched refs:ContainerS (Results 1 – 2 of 2) sorted by relevance
1064 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage() local1065 if (!ContainerS) in checkPostObjCMessage()1078 C.getSymbolManager().addSymbolDependency(ContainerS, CountS); in checkPostObjCMessage()1079 State = State->set<ContainerCountMap>(ContainerS, CountS); in checkPostObjCMessage()1081 if (const bool *NonEmpty = State->get<ContainerNonEmptyMap>(ContainerS)) { in checkPostObjCMessage()1082 State = State->remove<ContainerNonEmptyMap>(ContainerS); in checkPostObjCMessage()1083 State = assumeCollectionNonEmpty(C, State, ContainerS, *NonEmpty); in checkPostObjCMessage()
1054 if (const Stmt *ContainerS = Container.asStmt()) { in containsLocation() local1056 if (S == ContainerS) in containsLocation()