Searched refs:CheckNullStream (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | StreamChecker.cpp | 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()
288 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Ftell()
295 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Rewind()
302 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fgetpos()
309 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fsetpos()
316 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Clearerr()
323 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Feof()
[all …]
|