#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 { \
} // 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 {