| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 67 /// 3. Constraints on symbolic values (GenericDataMap)
77 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
133 /// have the same Environment, Store, and GenericDataMap.
456 ProgramState::GenericDataMap::Factory GDMFactory;
|
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 66 /// 3. Constraints on symbolic values (GenericDataMap)
76 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
132 /// have the same Environment, Store, and GenericDataMap.
455 ProgramState::GenericDataMap::Factory GDMFactory;
|
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 67 /// 3. Constraints on symbolic values (GenericDataMap)
77 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
133 /// have the same Environment, Store, and GenericDataMap.
467 ProgramState::GenericDataMap::Factory GDMFactory;
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 67 /// 3. Constraints on symbolic values (GenericDataMap)
77 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
133 /// have the same Environment, Store, and GenericDataMap.
467 ProgramState::GenericDataMap::Factory GDMFactory;
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 67 /// 3. Constraints on symbolic values (GenericDataMap)
77 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
133 /// have the same Environment, Store, and GenericDataMap.
467 ProgramState::GenericDataMap::Factory GDMFactory;
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 67 /// 3. Constraints on symbolic values (GenericDataMap)
77 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
133 /// have the same Environment, Store, and GenericDataMap.
467 ProgramState::GenericDataMap::Factory GDMFactory;
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 67 /// 3. Constraints on symbolic values (GenericDataMap)
77 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
133 /// have the same Environment, Store, and GenericDataMap.
467 ProgramState::GenericDataMap::Factory GDMFactory;
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 67 /// 3. Constraints on symbolic values (GenericDataMap)
77 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
133 /// have the same Environment, Store, and GenericDataMap.
467 ProgramState::GenericDataMap::Factory GDMFactory;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 66 /// 3. Constraints on symbolic values (GenericDataMap)
76 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
132 /// have the same Environment, Store, and GenericDataMap.
455 ProgramState::GenericDataMap::Factory GDMFactory;
|
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 67 /// 3. Constraints on symbolic values (GenericDataMap)
77 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
133 /// have the same Environment, Store, and GenericDataMap.
467 ProgramState::GenericDataMap::Factory GDMFactory;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 67 /// 3. Constraints on symbolic values (GenericDataMap)
77 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
133 /// have the same Environment, Store, and GenericDataMap.
467 ProgramState::GenericDataMap::Factory GDMFactory;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 67 /// 3. Constraints on symbolic values (GenericDataMap)
77 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
133 /// have the same Environment, Store, and GenericDataMap.
467 ProgramState::GenericDataMap::Factory GDMFactory;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 67 /// 3. Constraints on symbolic values (GenericDataMap)
77 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
133 /// have the same Environment, Store, and GenericDataMap.
467 ProgramState::GenericDataMap::Factory GDMFactory;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 67 /// 3. Constraints on symbolic values (GenericDataMap)
77 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
133 /// have the same Environment, Store, and GenericDataMap.
467 ProgramState::GenericDataMap::Factory GDMFactory;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 67 /// 3. Constraints on symbolic values (GenericDataMap)
77 typedef llvm::ImmutableMap<void*, void*> GenericDataMap;
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; }
133 /// have the same Environment, Store, and GenericDataMap.
467 ProgramState::GenericDataMap::Factory GDMFactory;
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| ProgramState.cpp | 46 StoreRef st, GenericDataMap gdm)
485 ProgramState::GenericDataMap M1 = St->getGDM();
486 ProgramState::GenericDataMap M2 = GDMFactory.add(M1, Key, Data);
497 ProgramState::GenericDataMap OldM = state->getGDM();
498 ProgramState::GenericDataMap NewM = GDMFactory.remove(OldM, Key);
|
