Searched refs:LVState (Results 1 – 1 of 1) sorted by relevance
1018 ProgramStateRef LVState = LVNode->getState(); in trackNullOrUndefValue() local1019 SVal LVal = LVState->getSVal(Inner, LVNode->getLocationContext()); in trackNullOrUndefValue()1021 if (LVState->isNull(LVal).isConstrainedTrue()) { in trackNullOrUndefValue()1029 R = LVState->getSVal(Inner, LVNode->getLocationContext()).getAsRegion(); in trackNullOrUndefValue()1043 SVal V = LVState->getRawSVal(loc::MemRegionVal(R)); in trackNullOrUndefValue()1056 if (!DV->isZeroConstant() && LVState->isNull(*DV).isConstrainedTrue() && in trackNullOrUndefValue()