Searched refs:InnerPointVal (Results 1 – 1 of 1) sorted by relevance
147 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in isNullSmartPtr() local148 return InnerPointVal && in isNullSmartPtr()149 !State->assume(InnerPointVal->castAs<DefinedOrUnknownSVal>(), true); in isNullSmartPtr()639 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in handleRelease() local641 if (InnerPointVal) { in handleRelease()643 *InnerPointVal); in handleRelease()