Searched defs:SelfVal (Results 1 – 4 of 4) sorted by relevance
1015 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); getReceiverSVal() local 1029 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); isReceiverSelfOrSuper() local 1315 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); getRuntimeDefinition() local 1393 SVal SelfVal = getReceiverSVal(); getInitialStackFrameContents() local [all...]
264 SVal SelfVal; in checkBeginFunction() local498 SVal SelfVal; in diagnoseMissingReleases() local
432 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt)); in checkSelfIvarsForInvariantViolation() local
6545 auto *SelfVal = TEST() local 6870 auto &SelfVal = *cast<PointerValue>(Env.getValue(*SelfDecl)); TEST() local