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