Home
last modified time | relevance | path

Searched refs:KnownCollection (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp860 Optional<DefinedSVal> KnownCollection = CollectionVal.getAs<DefinedSVal>(); in checkCollectionNonNil() local
861 if (!KnownCollection) in checkCollectionNonNil()
865 std::tie(StNonNil, StNil) = State->assume(*KnownCollection); in checkCollectionNonNil()