[PATCH] D64263: [analyzer] exploded-graph-rewriter: Implement a single-path mode.

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jul 5 13:25:57 PDT 2019


NoQ created this revision.
NoQ added a reviewer: Charusso.
Herald added subscribers: cfe-commits, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun.
Herald added a project: clang.

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.


Repository:
  rC Clang

https://reviews.llvm.org/D64263

Files:
  clang/test/Analysis/exploded-graph-rewriter/explorers.dot
  clang/utils/analyzer/exploded-graph-rewriter.py

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D64263.208223.patch
Type: text/x-patch
Size: 4504 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20190705/8cf9fe7a/attachment.bin>


More information about the cfe-commits mailing list