Lines Matching refs:SVal
126 ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond,
159 bool isInInstanceDealloc(const CheckerContext &C, SVal &SelfValOut) const;
161 SVal &SelfValOut) const;
163 SVal &InstanceValOut) const;
264 SVal SelfVal; in checkBeginFunction()
290 SVal LVal = State->getLValue(PropImpl->getPropertyIvarDecl(), SelfVal); in checkBeginFunction()
295 SVal InitialVal = State->getSVal(*LValLoc); in checkBeginFunction()
339 SVal DeallocedInstance; in checkPreObjCMessage()
412 ProgramStateRef ObjCDeallocChecker::evalAssume(ProgramStateRef State, SVal Cond, in evalAssume()
498 SVal SelfVal; in diagnoseMissingReleases()
616 SVal DeallocedInstance; in findPropertyOnDeallocatingInstance()
918 SVal ReceiverVal = M.getReceiverSVal(); in getValueReleasedByNillingOut()
929 SVal Arg = M.getArgSVal(0); in getValueReleasedByNillingOut()
946 SVal LVal = State->getLValue(PropIvarDecl, ReceiverVal); in getValueReleasedByNillingOut()
951 SVal CurrentValInIvar = State->getSVal(*LValLoc); in getValueReleasedByNillingOut()
959 SVal &SelfValOut) const { in isInInstanceDealloc()
968 SVal &SelfValOut) const { in isInInstanceDealloc()
985 SVal &InstanceValOut) const { in instanceDeallocIsOnStack()