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