granicus.if.org Git - clang/commit

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

author	Artem Dergachev <artem.dergachev@gmail.com>
	Wed, 3 Jul 2019 01:26:32 +0000 (01:26 +0000)
committer	Artem Dergachev <artem.dergachev@gmail.com>
	Wed, 3 Jul 2019 01:26:32 +0000 (01:26 +0000)
commit	373d8a836442ffa05a775f7022e521c5d7a33a35
tree	3caeba680e2f82befe7400e3458289eedcb2f027	tree \| snapshot
parent	159cd770e3ea0c5cba37006c4dc96b3235670f0d	commit \| diff

[analyzer] exploded-graph-rewriter: Implement checker messages.

They are displayed as raw lines and diffed via difflib on a per-checker basis.

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

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

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

RSS Atom

test/Analysis/exploded-graph-rewriter/checker_messages.dot	[new file with mode: 0644]	blob
test/Analysis/exploded-graph-rewriter/checker_messages_diff.dot	[new file with mode: 0644]	blob
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