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()
126 static bool hasSelfFlag(SVal val, SelfFlagEnum flag, CheckerContext &C) { in hasSelfFlag()
134 SVal exprVal = C.getSVal(E); in isInvalidSelf()
185 SVal V = C.getSVal(Msg.getOriginExpr()); in checkPostObjCMessage()
252 SVal argV = CE.getArgSVal(i); in checkPreCall()
280 SVal argV = CE.getArgSVal(i); in checkPostCall()
300 void ObjCSelfInitChecker::checkLocation(SVal location, bool isLoad, in checkLocation()
316 void ObjCSelfInitChecker::checkBind(SVal loc, SVal val, const Stmt *S, in checkBind()
410 static bool isSelfVar(SVal location, CheckerContext &C) { in isSelfVar()