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

[Gábor Horváth via cfe-commits]

xazax.hun updated this revision to Diff 34507.
xazax.hun added a comment.

- Updated to latest trunk.
- Separated the set/getDynamicTypeInfo APIs out from ProgramState

Note that it is not advised to put the implementations of set/getDynamicTypeInfo into a checker, because in that case there is a circular dependency during linking. The checkers use the symbols that are implemented in the clangStaticAnalyzerCore module and this way clangStaticAnalyzerCore would use symbols from that are implemented in the checkers as well.


http://reviews.llvm.org/D12767

Files:
  include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeMap.h
  include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
  lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
  lib/StaticAnalyzer/Core/CMakeLists.txt
  lib/StaticAnalyzer/Core/CallEvent.cpp
  lib/StaticAnalyzer/Core/DynamicTypeMap.cpp
  lib/StaticAnalyzer/Core/ProgramState.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D12767.34507.patch
Type: text/x-patch
Size: 13728 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150910/81dc3963/attachment.bin>