[analyzer] exploded-graph-rewriter: Add support for dynamic types.
authorArtem Dergachev <artem.dergachev@gmail.com>
Mon, 1 Jul 2019 23:01:59 +0000 (23:01 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Mon, 1 Jul 2019 23:01:59 +0000 (23:01 +0000)
commit02f91ddf1b353b28697b288edbe6a8a828705781
tree37c17f62e2ba95dbdc5a744351ed98448e924e92
parent5a72338bf50e29c034443d5075cb83a5386851d5
[analyzer] exploded-graph-rewriter: Add support for dynamic types.

Slightly cleanup emission of horizontal lines and unhardcode the title
for generic maps.

Differential Revision: https://reviews.llvm.org/D64041

llvm-svn: 364865
clang/test/Analysis/exploded-graph-rewriter/constraints.dot
clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot
clang/test/Analysis/exploded-graph-rewriter/environment.dot
clang/test/Analysis/exploded-graph-rewriter/environment_diff.dot
clang/test/Analysis/exploded-graph-rewriter/store.dot
clang/test/Analysis/exploded-graph-rewriter/store_diff.dot
clang/utils/analyzer/exploded-graph-rewriter.py