140   ProgramStateRef State = C.getState();  in warnIfNilExpr()  local
156   ProgramStateRef State = C.getState();  in warnIfNilArg()  local
886                                              ProgramStateRef State,  in checkCollectionNonNil()
911                                           ProgramStateRef State,  in checkElementNonNil()
944 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State,  in assumeCollectionNonEmpty()
975 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State,  in assumeCollectionNonEmpty()
1012   ProgramStateRef State = C.getState();  in checkPostStmt()  local
1076     ProgramStateRef State = C.getState();  in checkPostObjCMessage()  local
1130 ObjCLoopChecker::checkPointerEscape(ProgramStateRef State,  in checkPointerEscape()
1159   ProgramStateRef State = C.getState();  in checkDeadSymbols()  local
1215                                                   ProgramStateRef State,  in assumeExprIsNonNull()
1226   ProgramStateRef State = C.getState();  in checkPostObjCMessage()  local