Searched refs:GDM (Results 1 – 4 of 4) sorted by relevance
51 GDM(gdm), in ProgramState()57 : stateMgr(RHS.stateMgr), Env(RHS.Env), store(RHS.store), GDM(RHS.GDM), in ProgramState()409 NewState.GDM = GDMState->GDM; in getPersistentStateWithGDM()505 return GDM.lookup(K); in FindGDM()530 NewSt.GDM = M2; in addGDM()542 NewState.GDM = NewM; in removeGDM()
116 if (state->store != pred_state->store || state->GDM != pred_state->GDM || in shouldCollect()
86 GenericDataMap GDM; // Custom data stored by a client of this class. variable165 GenericDataMap getGDM() const { return GDM; } in getGDM()167 void setGDM(GenericDataMap gdm) { GDM = gdm; } in setGDM()175 V->GDM.Profile(ID); in Profile()
394 there is no inherent issue with persisting them (say, in a ProgramState's GDM),