Searched refs:checkCollectionNonNil (Results 1 – 1 of 1) sorted by relevance
860 static ProgramStateRef checkCollectionNonNil(CheckerContext &C, in checkCollectionNonNil() function992 State = checkCollectionNonNil(C, State, FCS); in checkPostStmt()