diff options
| author | Anna Zaks <ganna@apple.com> | 2012-10-30 04:17:18 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-10-30 04:17:18 +0000 |
| commit | ac150f2619efcadbf23acd6e86695b5412723eb1 (patch) | |
| tree | c9d499363761bf2728da1770526349c3c44d63f2 | |
| parent | 942fbddccc1b5540336674e577abb59e5c231778 (diff) | |
[analyzer] Rename REGISTER_MAP_WITH_GDM ->REGISTER_MAP_WITH_PROGRAMSTATE
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@166999 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h | 4 | ||||
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h b/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h index 4351fe16f0..e1d30ecbcc 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h @@ -18,8 +18,8 @@ #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h" #include "llvm/ADT/ImmutableMap.h" -// Declare an immutable map suitable for placement into program states's GDM. -#define REGISTER_MAP_WITH_GDM(Map, Key, Value) \ +/// Declare an immutable map suitable for placement into the ProgramState. +#define REGISTER_MAP_WITH_PROGRAMSTATE(Map, Key, Value) \ typedef llvm::ImmutableMap<Key, Value> Map; \ namespace clang { \ namespace ento { \ diff --git a/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp b/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp index 2e712ed919..50b9fe02d1 100644 --- a/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp @@ -81,8 +81,8 @@ public: } // end anonymous namespace /// The state of the checker is a map from tracked stream symbols to their -/// state. Let's store it in the GDM. -REGISTER_MAP_WITH_GDM(StreamMap, SymbolRef, StreamState) +/// state. Let's store it in the ProgramState. +REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState) void SimpleStreamChecker::checkPostStmt(const CallExpr *Call, CheckerContext &C) const { |