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