Lines Matching refs:getState

211   ProgramStateRef state = C.getState();  in OpenFileAux()
238   ProgramStateRef state = CheckDoubleClose(CE, C.getState(), C);  in Fclose()
244   ProgramStateRef state = C.getState();  in Fread()
250   ProgramStateRef state = C.getState();  in Fwrite()
256   ProgramStateRef state = C.getState();  in Fseek()
282   ProgramStateRef state = C.getState();  in Ftell()
288   ProgramStateRef state = C.getState();  in Rewind()
294   ProgramStateRef state = C.getState();  in Fgetpos()
300   ProgramStateRef state = C.getState();  in Fsetpos()
306   ProgramStateRef state = C.getState();  in Clearerr()
312   ProgramStateRef state = C.getState();  in Feof()
318   ProgramStateRef state = C.getState();  in Ferror()
324   ProgramStateRef state = C.getState();  in Fileno()
386   ProgramStateRef state = C.getState();  in checkDeadSymbols()