435   ProgramStateRef State = N->getState();  in getAcquisitionSite()
443     State = N->getState();  in getAcquisitionSite()
480   ProgramStateRef State = C.getState();  in evalFopen()
510   ProgramStateRef State = C.getState();  in preFreopen()
522   ProgramStateRef State = C.getState();  in evalFreopen()
566   ProgramStateRef State = C.getState();  in evalFclose()
587   ProgramStateRef State = C.getState();  in preFread()
612   ProgramStateRef State = C.getState();  in preFwrite()
631   ProgramStateRef State = C.getState();  in evalFreadFwrite()
715   ProgramStateRef State = C.getState();  in preFseek()
733   ProgramStateRef State = C.getState();  in evalFseek()
775   ProgramStateRef State = C.getState();  in evalClearerr()
796   ProgramStateRef State = C.getState();  in evalFeofFerror()
835   ProgramStateRef State = C.getState();  in preDefault()
851   ProgramStateRef State = C.getState();  in evalSetFeofFerror()
872   std::tie(StateNotNull, StateNull) = CM.assumeDual(C.getState(), *Stream);  in ensureStreamNonNull()
1020   ExplodedNode *Err = C.generateNonFatalErrorNode(C.getState(), Pred);  in reportLeaks()
1058   ProgramStateRef State = C.getState();  in checkDeadSymbols()