granicus.if.org Git - clang/commit

]> granicus.if.org Git - clang/commit

author	Artem Dergachev <artem.dergachev@gmail.com>
	Mon, 1 Jul 2019 23:01:59 +0000 (23:01 +0000)
committer	Artem Dergachev <artem.dergachev@gmail.com>
	Mon, 1 Jul 2019 23:01:59 +0000 (23:01 +0000)
commit	f21127243dbe044a67dbaf7361ba5aabefb1142c
tree	f76db8da0eb7939f553e58b471ab19b93c00abb4	tree \| snapshot
parent	d4916e2a6ffbff852897a807f87e4e83b1a2145c	commit \| diff

[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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@364865 91177308-0d34-0410-b5e6-96231b3b80d8

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom

test/Analysis/exploded-graph-rewriter/constraints.dot		diff \| blob \| history
test/Analysis/exploded-graph-rewriter/constraints_diff.dot		diff \| blob \| history
test/Analysis/exploded-graph-rewriter/environment.dot		diff \| blob \| history
test/Analysis/exploded-graph-rewriter/environment_diff.dot		diff \| blob \| history
test/Analysis/exploded-graph-rewriter/store.dot		diff \| blob \| history
test/Analysis/exploded-graph-rewriter/store_diff.dot		diff \| blob \| history
utils/analyzer/exploded-graph-rewriter.py		diff \| blob \| history