Lines Matching refs:getLocationContext

214   const LocationContext *LCtx = C.getPredecessor()->getLocationContext();  in OpenFileAux()
218   state = state->BindExpr(CE, C.getLocationContext(), RetVal);  in OpenFileAux()
246   if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),  in Fread()
253   if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),  in Fwrite()
261                                                C.getLocationContext()), state, C)))  in Fseek()
264   SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());  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()
368     state->getSVal(CE->getArg(0), C.getLocationContext()).getAsSymbol();  in CheckDoubleClose()