Home | History | Annotate | Download | only in Checkers

Lines Matching full:loc

71   void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
258       unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C);
289       addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C);
315     addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self,
320 void ObjCSelfInitChecker::checkBind(SVal loc, SVal val, const Stmt *S,
327   if ((isSelfVar(loc, C)) &&
335     if (SymbolRef sym = loc.getAsSymbol())
421   if (!location.getAs<loc::MemRegionVal>())
424   loc::MemRegionVal MRV = location.castAs<loc::MemRegionVal>();