reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1028 if (!ContainerS) 1041 C.getSymbolManager().addSymbolDependency(ContainerS, CountS); 1042 State = State->set<ContainerCountMap>(ContainerS, CountS); 1044 if (const bool *NonEmpty = State->get<ContainerNonEmptyMap>(ContainerS)) { 1045 State = State->remove<ContainerNonEmptyMap>(ContainerS); 1046 State = assumeCollectionNonEmpty(C, State, ContainerS, *NonEmpty);