reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
916 if (!State || !CollectionS) 917 return State; 919 const SymbolRef *CountS = State->get<ContainerCountMap>(CollectionS); 921 const bool *KnownNonEmpty = State->get<ContainerNonEmptyMap>(CollectionS); 923 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption); 924 return (Assumption == *KnownNonEmpty) ? State : nullptr; 929 SvalBuilder.evalBinOp(State, BO_GT, 938 return State; 941 return State->assume(*CountGreaterThanZero, Assumption);