From 4afaaf228ccbf447d84a2713f54dcd15913d9df4 Mon Sep 17 00:00:00 2001 From: Anna Zaks Date: Tue, 30 Oct 2012 04:17:18 +0000 Subject: [PATCH] [analyzer] Rename REGISTER_MAP_WITH_GDM ->REGISTER_MAP_WITH_PROGRAMSTATE llvm-svn: 166999 --- .../include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h | 4 ++-- clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h index 4351fe1..e1d30ec 100644 --- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h +++ b/clang/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 Map; \ namespace clang { \ namespace ento { \ diff --git a/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp index 2e712ed..50b9fe0 100644 --- a/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp +++ b/clang/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 { -- 2.7.4