| /external/clang/lib/StaticAnalyzer/Core/ |
| ProgramState.cpp | 46 StoreRef st, GenericDataMap gdm)
50 GDM(gdm),
60 GDM(RHS.GDM),
377 NewState.GDM = GDMState->GDM;
467 return GDM.lookup(K);
492 NewSt.GDM = M2;
504 NewState.GDM = NewM
[all...] |
| ExplodedGraph.cpp | 89 // (6) The 'GDM' is the same as the predecessor.
127 if (state->store != pred_state->store || state->GDM != pred_state->GDM ||
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 89 GenericDataMap GDM; // Custom data stored by a client of this class.
101 StoreRef st, GenericDataMap gdm);
127 GenericDataMap getGDM() const { return GDM; }
129 void setGDM(GenericDataMap gdm) { GDM = gdm; }
137 V->GDM.Profile(ID);
363 // Accessing the Generic Data Map (GDM).
531 // Methods that manipulate the GDM.
568 // to resolve keys into the GDM and to return data values to clients
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 88 GenericDataMap GDM; // Custom data stored by a client of this class.
100 StoreRef st, GenericDataMap gdm);
126 GenericDataMap getGDM() const { return GDM; }
128 void setGDM(GenericDataMap gdm) { GDM = gdm; }
136 V->GDM.Profile(ID);
362 // Accessing the Generic Data Map (GDM).
530 // Methods that manipulate the GDM.
567 // to resolve keys into the GDM and to return data values to clients
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 89 GenericDataMap GDM; // Custom data stored by a client of this class.
101 StoreRef st, GenericDataMap gdm);
127 GenericDataMap getGDM() const { return GDM; }
129 void setGDM(GenericDataMap gdm) { GDM = gdm; }
137 V->GDM.Profile(ID);
374 // Accessing the Generic Data Map (GDM).
543 // Methods that manipulate the GDM.
580 // to resolve keys into the GDM and to return data values to clients
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 89 GenericDataMap GDM; // Custom data stored by a client of this class.
101 StoreRef st, GenericDataMap gdm);
127 GenericDataMap getGDM() const { return GDM; }
129 void setGDM(GenericDataMap gdm) { GDM = gdm; }
137 V->GDM.Profile(ID);
374 // Accessing the Generic Data Map (GDM).
543 // Methods that manipulate the GDM.
580 // to resolve keys into the GDM and to return data values to clients
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 89 GenericDataMap GDM; // Custom data stored by a client of this class.
101 StoreRef st, GenericDataMap gdm);
127 GenericDataMap getGDM() const { return GDM; }
129 void setGDM(GenericDataMap gdm) { GDM = gdm; }
137 V->GDM.Profile(ID);
374 // Accessing the Generic Data Map (GDM).
543 // Methods that manipulate the GDM.
580 // to resolve keys into the GDM and to return data values to clients
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 89 GenericDataMap GDM; // Custom data stored by a client of this class.
101 StoreRef st, GenericDataMap gdm);
127 GenericDataMap getGDM() const { return GDM; }
129 void setGDM(GenericDataMap gdm) { GDM = gdm; }
137 V->GDM.Profile(ID);
374 // Accessing the Generic Data Map (GDM).
543 // Methods that manipulate the GDM.
580 // to resolve keys into the GDM and to return data values to clients
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 89 GenericDataMap GDM; // Custom data stored by a client of this class.
101 StoreRef st, GenericDataMap gdm);
127 GenericDataMap getGDM() const { return GDM; }
129 void setGDM(GenericDataMap gdm) { GDM = gdm; }
137 V->GDM.Profile(ID);
374 // Accessing the Generic Data Map (GDM).
543 // Methods that manipulate the GDM.
580 // to resolve keys into the GDM and to return data values to clients
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 89 GenericDataMap GDM; // Custom data stored by a client of this class.
101 StoreRef st, GenericDataMap gdm);
127 GenericDataMap getGDM() const { return GDM; }
129 void setGDM(GenericDataMap gdm) { GDM = gdm; }
137 V->GDM.Profile(ID);
374 // Accessing the Generic Data Map (GDM).
543 // Methods that manipulate the GDM.
580 // to resolve keys into the GDM and to return data values to clients
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 88 GenericDataMap GDM; // Custom data stored by a client of this class.
100 StoreRef st, GenericDataMap gdm);
126 GenericDataMap getGDM() const { return GDM; }
128 void setGDM(GenericDataMap gdm) { GDM = gdm; }
136 V->GDM.Profile(ID);
362 // Accessing the Generic Data Map (GDM).
530 // Methods that manipulate the GDM.
567 // to resolve keys into the GDM and to return data values to clients
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 89 GenericDataMap GDM; // Custom data stored by a client of this class.
101 StoreRef st, GenericDataMap gdm);
127 GenericDataMap getGDM() const { return GDM; }
129 void setGDM(GenericDataMap gdm) { GDM = gdm; }
137 V->GDM.Profile(ID);
374 // Accessing the Generic Data Map (GDM).
543 // Methods that manipulate the GDM.
580 // to resolve keys into the GDM and to return data values to clients
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 89 GenericDataMap GDM; // Custom data stored by a client of this class.
101 StoreRef st, GenericDataMap gdm);
127 GenericDataMap getGDM() const { return GDM; }
129 void setGDM(GenericDataMap gdm) { GDM = gdm; }
137 V->GDM.Profile(ID);
374 // Accessing the Generic Data Map (GDM).
543 // Methods that manipulate the GDM.
580 // to resolve keys into the GDM and to return data values to clients
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 89 GenericDataMap GDM; // Custom data stored by a client of this class.
101 StoreRef st, GenericDataMap gdm);
127 GenericDataMap getGDM() const { return GDM; }
129 void setGDM(GenericDataMap gdm) { GDM = gdm; }
137 V->GDM.Profile(ID);
374 // Accessing the Generic Data Map (GDM).
543 // Methods that manipulate the GDM.
580 // to resolve keys into the GDM and to return data values to clients
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 89 GenericDataMap GDM; // Custom data stored by a client of this class.
101 StoreRef st, GenericDataMap gdm);
127 GenericDataMap getGDM() const { return GDM; }
129 void setGDM(GenericDataMap gdm) { GDM = gdm; }
137 V->GDM.Profile(ID);
374 // Accessing the Generic Data Map (GDM).
543 // Methods that manipulate the GDM.
580 // to resolve keys into the GDM and to return data values to clients
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 89 GenericDataMap GDM; // Custom data stored by a client of this class.
101 StoreRef st, GenericDataMap gdm);
127 GenericDataMap getGDM() const { return GDM; }
129 void setGDM(GenericDataMap gdm) { GDM = gdm; }
137 V->GDM.Profile(ID);
374 // Accessing the Generic Data Map (GDM).
543 // Methods that manipulate the GDM.
580 // to resolve keys into the GDM and to return data values to clients
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 89 GenericDataMap GDM; // Custom data stored by a client of this class.
101 StoreRef st, GenericDataMap gdm);
127 GenericDataMap getGDM() const { return GDM; }
129 void setGDM(GenericDataMap gdm) { GDM = gdm; }
137 V->GDM.Profile(ID);
374 // Accessing the Generic Data Map (GDM).
543 // Methods that manipulate the GDM.
580 // to resolve keys into the GDM and to return data values to clients
[all...] |
