Lines Matching refs:SVal
54 static bool isSelfVar(SVal location, CheckerContext &C);
74 void checkLocation(SVal location, bool isLoad, const Stmt *S,
76 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
106 static SelfFlagEnum getSelfFlags(SVal val, ProgramStateRef state) { in REGISTER_MAP_WITH_PROGRAMSTATE()
113 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) { in getSelfFlags()
117 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()
183 SVal V = C.getSVal(Msg.getOriginExpr()); in checkPostObjCMessage()
250 SVal argV = CE.getArgSVal(i); in checkPreCall()
279 SVal argV = CE.getArgSVal(i); in checkPostCall()
299 void ObjCSelfInitChecker::checkLocation(SVal location, bool isLoad, in checkLocation()
315 void ObjCSelfInitChecker::checkBind(SVal loc, SVal val, const Stmt *S, in checkBind()
408 static bool isSelfVar(SVal location, CheckerContext &C) { in isSelfVar()