reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
137 if (const PtrSet *PS = State->get<RawPtrMap>(MR)) { 211 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); 211 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); 212 const PtrSet *SetPtr = State->get<RawPtrMap>(ObjRegion); 213 PtrSet Set = SetPtr ? *SetPtr : F.getEmptySet(); 237 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); 237 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); 245 if (const PtrSet *OldSet = State->get<RawPtrMap>(Entry.first)) { 246 PtrSet CleanedUpSet = *OldSet;