Lines Matching refs:SVal
54 static bool isSelfVar(SVal location, CheckerContext &C);
71 void checkLocation(SVal location, bool isLoad, const Stmt *S,
128 static SelfFlagEnum getSelfFlags(SVal val, ProgramStateRef state) {
135 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) {
139 static void addSelfFlag(ProgramStateRef state, SVal val,
141 // We tag the symbol that the SVal wraps.
146 static bool hasSelfFlag(SVal val, SelfFlagEnum flag, CheckerContext &C) {
154 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext());
204 SVal V = state->getSVal(msg.getMessageExpr(), C.getLocationContext());
286 SVal argV = CE.getArgSVal(i);
304 SVal argV = CE.getArgSVal(i);
329 void ObjCSelfInitChecker::checkLocation(SVal location, bool isLoad,
368 static bool isSelfVar(SVal location, CheckerContext &C) {