104 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) {  in isNullSmartPtr()
127 static ProgramStateRef updateSwappedRegion(ProgramStateRef State,  in updateSwappedRegion()
180   ProgramStateRef State = C.getState();  in evalCall()  local
277   ProgramStateRef State = C.getState();  in checkDeadSymbols()  local
290 void SmartPtrModeling::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
308     ProgramStateRef State, const InvalidatedSymbols *Invalidated,  in checkRegionChanges()
321 void SmartPtrModeling::checkLiveSymbols(ProgramStateRef State,  in checkLiveSymbols()
335   ProgramStateRef State = C.getState();  in handleReset()  local
365   ProgramStateRef State = C.getState();  in handleRelease()  local
413   auto State = C.getState();  in handleSwap()  local
439   ProgramStateRef State = C.getState();  in handleGet()  local
466   ProgramStateRef State = C.getState();  in handleAssignOp()  local
512   ProgramStateRef State = C.getState();  in updateMovedSmartPointers()  local
564   ProgramStateRef State = C.getState();  in handleBoolConversion()  local