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