granicus.if.org Git - clang/commit

author	Artem Dergachev <artem.dergachev@gmail.com>
	Wed, 3 Jul 2019 01:26:41 +0000 (01:26 +0000)
committer	Artem Dergachev <artem.dergachev@gmail.com>
	Wed, 3 Jul 2019 01:26:41 +0000 (01:26 +0000)
commit	6ed0749151866894a67a3e7eefdc1f3a547daa0e
tree	a4775bedd17fb5ee8364a59c3bbfcbca65c9cab5	tree \| snapshot
parent	e3edbcf4f7f9d8c4f3f61cc328c0b2f4e44e8079	commit \| diff

[analyzer] exploded-graph-rewriter: Implement bug nodes and sink nodes.

Add a label to nodes that have a bug report attached or on which
the analysis was generally interrupted.

Fix printing has_report and implement printing is_sink in the graph dumper.

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

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

14 files changed:

lib/StaticAnalyzer/Core/ExprEngine.cpp		diff \| blob \| history
test/Analysis/dump_egraph.c		diff \| blob \| history
test/Analysis/exploded-graph-rewriter/checker_messages.dot		diff \| blob \| history
test/Analysis/exploded-graph-rewriter/checker_messages_diff.dot		diff \| blob \| history
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/edge.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/node_labels.dot		diff \| blob \| history
test/Analysis/exploded-graph-rewriter/program_points.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

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

RSS Atom