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