Searched defs:SelfVal (Results 1 – 3 of 3) sorted by relevance
1015 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in getReceiverSVal() local1029 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in isReceiverSelfOrSuper() local1315 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in getRuntimeDefinition() local1393 SVal SelfVal = getReceiverSVal(); in getInitialStackFrameContents() local
264 SVal SelfVal; in checkBeginFunction() local498 SVal SelfVal; in diagnoseMissingReleases() local
432 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt)); in checkSelfIvarsForInvariantViolation() local