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