Searched defs:SelfVal (Results 1 – 6 of 6) sorted by relevance
982 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in getReceiverSVal() local996 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in isReceiverSelfOrSuper() local1282 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in getRuntimeDefinition() local1360 SVal SelfVal = getReceiverSVal(); in getInitialStackFrameContents() local
265 SVal SelfVal; in checkBeginFunction() local497 SVal SelfVal; in diagnoseMissingReleases() local
409 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt)); in checkSelfIvarsForInvariantViolation() local
258 SVal SelfVal; in checkBeginFunction() local490 SVal SelfVal; in diagnoseMissingReleases() local
388 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt)); in checkSelfIvarsForInvariantViolation() local
723 SVal SelfVal = getSelfSVal(); in getReceiverSVal() local1026 SVal SelfVal = getReceiverSVal(); in getInitialStackFrameContents() local