Searched refs:InnerPointVal (Results 1 – 1 of 1) sorted by relevance
150 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in isNullSmartPtr() local151 return InnerPointVal && in isNullSmartPtr()152 !State->assume(InnerPointVal->castAs<DefinedOrUnknownSVal>(), true); in isNullSmartPtr()640 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in handleRelease() local642 if (InnerPointVal) { in handleRelease()644 *InnerPointVal); in handleRelease()