Searched refs:GDM (Results 1 – 4 of 4) sorted by relevance
52 GDM(gdm), in ProgramState()58 : stateMgr(RHS.stateMgr), Env(RHS.Env), store(RHS.store), GDM(RHS.GDM), in ProgramState()408 NewState.GDM = GDMState->GDM; in getPersistentStateWithGDM()504 return GDM.lookup(K); in FindGDM()529 NewSt.GDM = M2; in addGDM()541 NewState.GDM = NewM; in removeGDM()
116 if (state->store != pred_state->store || state->GDM != pred_state->GDM || in shouldCollect()
87 GenericDataMap GDM; // Custom data stored by a client of this class. variable166 GenericDataMap getGDM() const { return GDM; } in getGDM()168 void setGDM(GenericDataMap gdm) { GDM = gdm; } in setGDM()176 V->GDM.Profile(ID); in Profile()
394 there is no inherent issue with persisting them (say, in a ProgramState's GDM),