Lines Matching defs:NullVal

390       auto NullVal = C.getSValBuilder().makeNullWithType(ThisType);
391       State = State->set<TrackedRegionMap>(ThisRegion, NullVal);
753     auto NullVal = C.getSValBuilder().makeNullWithType(ThisType);
754     State = State->set<TrackedRegionMap>(ThisRegion, NullVal);
788     auto NullVal = C.getSValBuilder().makeNullWithType(ThisType);
789     State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal);
815     auto NullVal = C.getSValBuilder().makeNullWithType(ThisType);
817     State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal);
882     auto NullVal = C.getSValBuilder().makeNullWithType(ThisType);
884     NullState = NullState->set<TrackedRegionMap>(ThisRegion, NullVal);