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