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