HomeSort by relevance Sort by last modified time
    Searched refs:GDM (Results 1 - 3 of 3) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 46 StoreRef st, GenericDataMap gdm)
50 GDM(gdm),
60 GDM(RHS.GDM),
398 NewState.GDM = GDMState->GDM;
488 return GDM.lookup(K);
513 NewSt.GDM = M2;
525 NewState.GDM = NewM
    [all...]
ExplodedGraph.cpp 89 // (6) The 'GDM' is the same as the predecessor.
126 if (state->store != pred_state->store || state->GDM != pred_state->GDM ||
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 87 GenericDataMap GDM; // Custom data stored by a client of this class.
99 StoreRef st, GenericDataMap gdm);
125 GenericDataMap getGDM() const { return GDM; }
127 void setGDM(GenericDataMap gdm) { GDM = gdm; }
135 V->GDM.Profile(ID);
355 // Accessing the Generic Data Map (GDM).
523 // Methods that manipulate the GDM.
560 // to resolve keys into the GDM and to return data values to clients
    [all...]

Completed in 26 milliseconds