Searched refs:InnerPointVal (Results 1 – 1 of 1) sorted by relevance
105 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in isNullSmartPtr() local106 return InnerPointVal && in isNullSmartPtr()107 !State->assume(InnerPointVal->castAs<DefinedOrUnknownSVal>(), true); in isNullSmartPtr()374 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in handleRelease() local376 if (InnerPointVal) { in handleRelease()378 *InnerPointVal); in handleRelease()