267                                         ProgramStateRef State) {  in getNullConstraint()
300   ProgramStateRef State = N->getState();  in VisitNode()  local
335 static bool checkValueAtLValForInvariantViolation(ProgramStateRef State,  in checkValueAtLValForInvariantViolation()
362                                     ProgramStateRef State,  in checkParamsForPreconditionViolation()
378 checkSelfIvarsForInvariantViolation(ProgramStateRef State,  in checkSelfIvarsForInvariantViolation()
408 static bool checkInvariantViolation(ProgramStateRef State, ExplodedNode *N,  in checkInvariantViolation()
456   ProgramStateRef State = C.getState();  in checkDeadSymbols()  local
488   ProgramStateRef State = Event.SinkNode->getState();  in checkEvent()  local
541   ProgramStateRef State = Context.getState();  in checkLocation()  local
578   ProgramStateRef State = C.getState();  in checkPreStmt()  local
689   ProgramStateRef State = C.getState();  in checkPreCall()  local
797   ProgramStateRef State = C.getState();  in checkPostCall()  local
826                                           ProgramStateRef State) {  in getReceiverNullability()
866   ProgramStateRef State = C.getState();  in checkPostObjCMessage()  local
981   ProgramStateRef State = C.getState();  in checkPostStmt()  local
1105   ProgramStateRef State = C.getState();  in checkBind()  local
1209 void NullabilityChecker::printState(raw_ostream &Out, ProgramStateRef State,  in printState()