Home
last modified time | relevance | path

Searched refs:GDM (Results 1 – 4 of 4) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp50 GDM(gdm), in ProgramState()
60 GDM(RHS.GDM), in ProgramState()
377 NewState.GDM = GDMState->GDM; in getPersistentStateWithGDM()
467 return GDM.lookup(K); in FindGDM()
492 NewSt.GDM = M2; in addGDM()
504 NewState.GDM = NewM; in removeGDM()
DExplodedGraph.cpp127 if (state->store != pred_state->store || state->GDM != pred_state->GDM || in shouldCollect()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h87 GenericDataMap GDM; // Custom data stored by a client of this class. variable
125 GenericDataMap getGDM() const { return GDM; } in getGDM()
127 void setGDM(GenericDataMap gdm) { GDM = gdm; } in setGDM()
135 V->GDM.Profile(ID); in Profile()
/external/clang/docs/analyzer/
DIPA.txt384 there is no inherent issue with persisting them (say, in a ProgramState's GDM),