466   ProgramStateRef State = N->getState();  in getAcquisitionSite()
474     State = N->getState();  in getAcquisitionSite()
513   ProgramStateRef State = C.getState();  in evalFopen()
543   ProgramStateRef State = C.getState();  in preFreopen()
555   ProgramStateRef State = C.getState();  in evalFreopen()
600   ProgramStateRef State = C.getState();  in evalFclose()
634   ProgramStateRef State = C.getState();  in preFread()
659   ProgramStateRef State = C.getState();  in preFwrite()
678   ProgramStateRef State = C.getState();  in evalFreadFwrite()
757   ProgramStateRef State = C.getState();  in preFseek()
775   ProgramStateRef State = C.getState();  in evalFseek()
817   ProgramStateRef State = C.getState();  in evalFgetpos()
846   ProgramStateRef State = C.getState();  in evalFsetpos()
883   ProgramStateRef State = C.getState();  in evalFtell()
918   ProgramStateRef State = C.getState();  in evalRewind()
942   ProgramStateRef State = C.getState();  in evalClearerr()
963   ProgramStateRef State = C.getState();  in evalFeofFerror()
1002   ProgramStateRef State = C.getState();  in preDefault()
1018   ProgramStateRef State = C.getState();  in evalSetFeofFerror()
1039   std::tie(StateNotNull, StateNull) = CM.assumeDual(C.getState(), *Stream);  in ensureStreamNonNull()
1186   ExplodedNode *Err = C.generateNonFatalErrorNode(C.getState(), Pred);  in reportLeaks()
1224   ProgramStateRef State = C.getState();  in checkDeadSymbols()