reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
211 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); 212 const PtrSet *SetPtr = State->get<RawPtrMap>(ObjRegion); 217 State = State->set<RawPtrMap>(ObjRegion, Set); 217 State = State->set<RawPtrMap>(ObjRegion, Set); 218 C.addTransition(State); 225 markPtrSymbolsReleased(Call, State, ObjRegion, C); 231 checkFunctionArguments(Call, State, C);