Home | History | Annotate | Download | only in Checkers

Lines Matching refs:getLocationContext

212   const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
215 state = state->BindExpr(CE, C.getLocationContext(), RetVal);
243 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
250 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
258 C.getLocationContext()), state, C)))
261 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
284 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
291 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
298 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
305 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
312 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
319 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
326 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
333 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
365 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsSymbol();