Lines Matching refs:SVal
55 static bool isSelfVar(SVal location, CheckerContext &C);
69 void checkLocation(SVal location, bool isLoad, const Stmt *S,
71 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
112 static SelfFlagEnum getSelfFlags(SVal val, ProgramStateRef state) {
119 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) {
123 static void addSelfFlag(ProgramStateRef state, SVal val,
125 // We tag the symbol that the SVal wraps.
132 static bool hasSelfFlag(SVal val, SelfFlagEnum flag, CheckerContext &C) {
140 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext());
190 SVal V = state->getSVal(Msg.getOriginExpr(), C.getLocationContext());
256 SVal argV = CE.getArgSVal(i);
284 SVal argV = CE.getArgSVal(i);
304 void ObjCSelfInitChecker::checkLocation(SVal location, bool isLoad,
320 void ObjCSelfInitChecker::checkBind(SVal loc, SVal val, const Stmt *S,
417 static bool isSelfVar(SVal location, CheckerContext &C) {
