Searched refs:InnerPointVal (Results 1 – 1 of 1) sorted by relevance
149 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in isNullSmartPtr() local150 return InnerPointVal && in isNullSmartPtr()151 !State->assume(InnerPointVal->castAs<DefinedOrUnknownSVal>(), true); in isNullSmartPtr()638 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in handleRelease() local640 if (InnerPointVal) { in handleRelease()642 *InnerPointVal); in handleRelease()