Searched defs:InnerPointVal (Results 1 – 1 of 1) sorted by relevance
150 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in isNullSmartPtr() local639 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in handleRelease() local