Lines Matching full:sval
120 ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond,
153 bool isInInstanceDealloc(const CheckerContext &C, SVal &SelfValOut) const;
155 SVal &SelfValOut) const;
157 SVal &InstanceValOut) const;
265 SVal SelfVal;
291 SVal LVal = State->getLValue(PropImpl->getPropertyIvarDecl(), SelfVal);
296 SVal InitialVal = State->getSVal(LValLoc.getValue());
338 SVal DeallocedInstance;
411 ProgramStateRef ObjCDeallocChecker::evalAssume(ProgramStateRef State, SVal Cond,
497 SVal SelfVal;
616 SVal DeallocedInstance;
928 SVal ReceiverVal = M.getReceiverSVal();
939 SVal Arg = M.getArgSVal(0);
956 SVal LVal = State->getLValue(PropIvarDecl, ReceiverVal);
961 SVal CurrentValInIvar = State->getSVal(LValLoc.getValue());
969 SVal &SelfValOut) const {
978 SVal &SelfValOut) const {
995 SVal &InstanceValOut) const {
