reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
237 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); 238 RawPtrMapTy RPM = State->get<RawPtrMap>(); 243 State = State->remove<RawPtrMap>(Entry.first); 243 State = State->remove<RawPtrMap>(Entry.first); 245 if (const PtrSet *OldSet = State->get<RawPtrMap>(Entry.first)) { 251 State = CleanedUpSet.isEmpty() 252 ? State->remove<RawPtrMap>(Entry.first) 253 : State->set<RawPtrMap>(Entry.first, CleanedUpSet); 256 C.addTransition(State);