775         N->getState()->getStateManager().getContext().getSourceManager());  in emitNote()
791   ProgramStateRef State = N->getState();  in getAcquisitionSite()
799     State = N->getState();  in getAcquisitionSite()
892   ProgramStateRef State = C.getState();  in evalFopen()
922   ProgramStateRef State = C.getState();  in preFreopen()
934   ProgramStateRef State = C.getState();  in evalFreopen()
979   ProgramStateRef State = C.getState();  in evalFclose()
996   ProgramStateRef State = C.getState();  in preRead()
1021   ProgramStateRef State = C.getState();  in preWrite()
1113   ProgramStateRef State = C.getState();  in evalFreadFwrite()
1188   ProgramStateRef State = C.getState();  in evalFgetx()
1247   ProgramStateRef State = C.getState();  in evalFputx()
1293   ProgramStateRef State = C.getState();  in evalFprintf()
1329   ProgramStateRef State = C.getState();  in evalFscanf()
1379   ProgramStateRef State = C.getState();  in evalUngetc()
1407   ProgramStateRef State = C.getState();  in evalGetdelim()
1466   ProgramStateRef State = C.getState();  in preFseek()
1484   ProgramStateRef State = C.getState();  in evalFseek()
1514   ProgramStateRef State = C.getState();  in evalFgetpos()
1533   ProgramStateRef State = C.getState();  in evalFsetpos()
1560   ProgramStateRef State = C.getState();  in evalFtell()
1584   ProgramStateRef State = C.getState();  in evalRewind()
1596   ProgramStateRef State = C.getState();  in preFflush()
1611   ProgramStateRef State = C.getState();  in evalFflush()
1675   ProgramStateRef State = C.getState();  in evalClearerr()
1690   ProgramStateRef State = C.getState();  in evalFeofFerror()
1728   ProgramStateRef State = C.getState();  in evalFileno()
1744   ProgramStateRef State = C.getState();  in preDefault()
1761   ProgramStateRef State = C.getState();  in evalSetFeofFerror()
1935   ExplodedNode *Err = C.generateNonFatalErrorNode(C.getState(), Pred);  in reportLeaks()
1976   ProgramStateRef State = C.getState();  in checkDeadSymbols()