Searched refs:KnownCollection (Results 1 – 1 of 1) sorted by relevance
871 std::optional<DefinedSVal> KnownCollection = in checkCollectionNonNil() local873 if (!KnownCollection) in checkCollectionNonNil()877 std::tie(StNonNil, StNil) = State->assume(*KnownCollection); in checkCollectionNonNil()