Lines Matching full:sval
55 static bool isSelfVar(SVal location, CheckerContext &C);
75 void checkLocation(SVal location, bool isLoad, const Stmt *S,
77 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
107 static SelfFlagEnum getSelfFlags(SVal val, ProgramStateRef state) {
114 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) {
118 static void addSelfFlag(ProgramStateRef state, SVal val,
120 // We tag the symbol that the SVal wraps.
127 static bool hasSelfFlag(SVal val, SelfFlagEnum flag, CheckerContext &C) {
135 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext());
186 SVal V = state->getSVal(Msg.getOriginExpr(), C.getLocationContext());
253 SVal argV = CE.getArgSVal(i);
281 SVal argV = CE.getArgSVal(i);
301 void ObjCSelfInitChecker::checkLocation(SVal location, bool isLoad,
317 void ObjCSelfInitChecker::checkBind(SVal loc, SVal val, const Stmt *S,
411 static bool isSelfVar(SVal location, CheckerContext &C) {
