250                                         ProgramStateRef State) {  in getNullConstraint()
283   ProgramStateRef State = N->getState();  in VisitNode()  local
333                                     ProgramStateRef State,  in checkParamsForPreconditionViolation()
359 static bool checkPreconditionViolation(ProgramStateRef State, ExplodedNode *N,  in checkPreconditionViolation()
412   ProgramStateRef State = C.getState();  in checkDeadSymbols()  local
444   ProgramStateRef State = Event.SinkNode->getState();  in checkEvent()  local
478   ProgramStateRef State = C.getState();  in checkPreStmt()  local
543   ProgramStateRef State = C.getState();  in checkPreCall()  local
635   ProgramStateRef State = C.getState();  in checkPostCall()  local
664                                           ProgramStateRef State) {  in getReceiverNullability()
704   ProgramStateRef State = C.getState();  in checkPostObjCMessage()  local
819   ProgramStateRef State = C.getState();  in checkPostStmt()  local
902   ProgramStateRef State = C.getState();  in checkBind()  local
978 void NullabilityChecker::printState(raw_ostream &Out, ProgramStateRef State,  in printState()