436   ProgramStateRef State = N->getState();  in getAcquisitionSite()
444     State = N->getState();  in getAcquisitionSite()
481   ProgramStateRef State = C.getState();  in evalFopen()
511   ProgramStateRef State = C.getState();  in preFreopen()
523   ProgramStateRef State = C.getState();  in evalFreopen()
568   ProgramStateRef State = C.getState();  in evalFclose()
589   ProgramStateRef State = C.getState();  in preFread()
614   ProgramStateRef State = C.getState();  in preFwrite()
633   ProgramStateRef State = C.getState();  in evalFreadFwrite()
712   ProgramStateRef State = C.getState();  in preFseek()
730   ProgramStateRef State = C.getState();  in evalFseek()
772   ProgramStateRef State = C.getState();  in evalClearerr()
793   ProgramStateRef State = C.getState();  in evalFeofFerror()
832   ProgramStateRef State = C.getState();  in preDefault()
848   ProgramStateRef State = C.getState();  in evalSetFeofFerror()
869   std::tie(StateNotNull, StateNull) = CM.assumeDual(C.getState(), *Stream);  in ensureStreamNonNull()
1017   ExplodedNode *Err = C.generateNonFatalErrorNode(C.getState(), Pred);  in reportLeaks()
1055   ProgramStateRef State = C.getState();  in checkDeadSymbols()