[PATCH] D12767: [Static Analyzer] Properly clean up the dynamic type information for dead regions.

[Anna Zaks via cfe-commits]

zaks.anna added inline comments.

================
Comment at: lib/StaticAnalyzer/Core/DynamicTypeMap.cpp:10
@@ +9,3 @@
+//
+//  This file defines APIs that are related to track and query dynamic type
+//  information. This information can be used to devirtualize calls during the
----------------
"that track and query"

================
Comment at: lib/StaticAnalyzer/Core/ProgramState.cpp:17
@@ -16,2 +16,3 @@
 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
+#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeMap.h"
 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
----------------
Why is this header included?


http://reviews.llvm.org/D12767