Lines Matching refs:CheckNullStream
97 ProgramStateRef CheckNullStream(SVal SV, ProgramStateRef state,
246 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fread()
253 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fwrite()
260 if (!(state = CheckNullStream(state->getSVal(CE->getArg(0), in Fseek()
287 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Ftell()
294 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Rewind()
301 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fgetpos()
308 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fsetpos()
315 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Clearerr()
322 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Feof()
329 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Ferror()
336 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fileno()
341 ProgramStateRef StreamChecker::CheckNullStream(SVal SV, ProgramStateRef state, in CheckNullStream() function in StreamChecker