diff options
| -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 { |