Home | History | Annotate | Download | only in Checkers

Lines Matching refs:NonEmpty

1081     if (const bool *NonEmpty = State->get<ContainerNonEmptyMap>(ContainerS)) {
1083       State = assumeCollectionNonEmpty(C, State, ContainerS, *NonEmpty);