review.tizen.org Git - platform/upstream/llvm.git/commit

projects / platform / upstream / llvm.git / 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	ab758ba128c46ba30cad058b89991852f7be5543
tree	9ceddcacadb0e85e686a38615c764ef065fa6398	tree \| snapshot
parent	5fcf92e153806e8fb3f195104f3d057580236132	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

llvm-svn: 364992

14 files changed:

clang/lib/StaticAnalyzer/Core/ExprEngine.cpp		diff \| blob \| history
clang/test/Analysis/dump_egraph.c		diff \| blob \| history
clang/test/Analysis/exploded-graph-rewriter/checker_messages.dot		diff \| blob \| history
clang/test/Analysis/exploded-graph-rewriter/checker_messages_diff.dot		diff \| blob \| history
clang/test/Analysis/exploded-graph-rewriter/constraints.dot		diff \| blob \| history
clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot		diff \| blob \| history
clang/test/Analysis/exploded-graph-rewriter/edge.dot		diff \| blob \| history
clang/test/Analysis/exploded-graph-rewriter/environment.dot		diff \| blob \| history
clang/test/Analysis/exploded-graph-rewriter/environment_diff.dot		diff \| blob \| history
clang/test/Analysis/exploded-graph-rewriter/node_labels.dot		diff \| blob \| history
clang/test/Analysis/exploded-graph-rewriter/program_points.dot		diff \| blob \| history
clang/test/Analysis/exploded-graph-rewriter/store.dot		diff \| blob \| history
clang/test/Analysis/exploded-graph-rewriter/store_diff.dot		diff \| blob \| history
clang/utils/analyzer/exploded-graph-rewriter.py		diff \| blob \| history

Domain: System / Toolchain;

RSS Atom