403   ProgramStateRef State = N->getState();  in getAcquisitionSite()
411     State = N->getState();  in getAcquisitionSite()
444   ProgramStateRef State = C.getState();  in evalFopen()
474   ProgramStateRef State = C.getState();  in preFreopen()
485   ProgramStateRef State = C.getState();  in evalFreopen()
529   ProgramStateRef State = C.getState();  in evalFclose()
550   ProgramStateRef State = C.getState();  in preFread()
574   ProgramStateRef State = C.getState();  in preFwrite()
592   ProgramStateRef State = C.getState();  in evalFreadFwrite()
672   ProgramStateRef State = C.getState();  in preFseek()
689   ProgramStateRef State = C.getState();  in evalFseek()
731   ProgramStateRef State = C.getState();  in evalClearerr()
752   ProgramStateRef State = C.getState();  in evalFeofFerror()
791   ProgramStateRef State = C.getState();  in preDefault()
806   ProgramStateRef State = C.getState();  in evalSetFeofFerror()
826   std::tie(StateNotNull, StateNull) = CM.assumeDual(C.getState(), *Stream);  in ensureStreamNonNull()
969   ExplodedNode *Err = C.generateNonFatalErrorNode(C.getState(), Pred);  in reportLeaks()
1007   ProgramStateRef State = C.getState();  in checkDeadSymbols()