126   ProgramStateRef State = C.getState();  in warnIfNilExpr()  local
142   ProgramStateRef State = C.getState();  in warnIfNilArg()  local
844                                              ProgramStateRef State,  in checkCollectionNonNil()
869                                           ProgramStateRef State,  in checkElementNonNil()
902 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State,  in assumeCollectionNonEmpty()
933 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State,  in assumeCollectionNonEmpty()
970   ProgramStateRef State = C.getState();  in checkPostStmt()  local
1034     ProgramStateRef State = C.getState();  in checkPostObjCMessage()  local
1088 ObjCLoopChecker::checkPointerEscape(ProgramStateRef State,  in checkPointerEscape()
1117   ProgramStateRef State = C.getState();  in checkDeadSymbols()  local
1151                                            ProgramStateRef State,  in assumeExprIsNonNull()
1162   ProgramStateRef State = C.getState();  in checkPostObjCMessage()  local