]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2c117d) | patch
[analyzer] exploded-graph-rewriter: Implement a single-path mode.
authorArtem Dergachev <artem.dergachev@gmail.com>
Mon, 8 Jul 2019 23:54:11 +0000 (23:54 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Mon, 8 Jul 2019 23:54:11 +0000 (23:54 +0000)
commitc7bc10fea93b960ec0cb1f38a09217f0f87c104e
tree271431a2fee9645e00f6913c1b0b75faa004074ftree | snapshot
parentd2c117d5302aab5c70f07b72a5ce36b841f44622commit | diff
[analyzer] exploded-graph-rewriter: Implement a single-path mode.

Instead of rewriting the whole graph, rewrite the leftmost path in the
graph. Useful for trimmed graphs that are still too large to display due
to multiple equivalent reports mixed into them.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@365409 91177308-0d34-0410-b5e6-96231b3b80d8
test/Analysis/exploded-graph-rewriter/explorers.dot [new file with mode: 0644] blob
utils/analyzer/exploded-graph-rewriter.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.