Lines Matching refs: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) { in REGISTER_MAP_WITH_PROGRAMSTATE()
114 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) { in getSelfFlags()
118 static void addSelfFlag(ProgramStateRef state, SVal val, in addSelfFlag()
127 static bool hasSelfFlag(SVal val, SelfFlagEnum flag, CheckerContext &C) { in hasSelfFlag()
135 SVal exprVal = C.getSVal(E); in isInvalidSelf()
186 SVal V = C.getSVal(Msg.getOriginExpr()); in checkPostObjCMessage()
253 SVal argV = CE.getArgSVal(i); in checkPreCall()
281 SVal argV = CE.getArgSVal(i); in checkPostCall()
301 void ObjCSelfInitChecker::checkLocation(SVal location, bool isLoad, in checkLocation()
317 void ObjCSelfInitChecker::checkBind(SVal loc, SVal val, const Stmt *S, in checkBind()
411 static bool isSelfVar(SVal location, CheckerContext &C) { in isSelfVar()