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

Tue Jul 2 16:36:53 PDT 2019

Charusso added a comment.

In D64110#1567505 <https://reviews.llvm.org/D64110#1567505>, @NoQ wrote:

> A non-sink node may have no successors because it ran out of statements to execute (i.e., the analysis finishes successfully).

Ah, of course, sorry.

> P.S. I don't have many more plans on implementing more prints in the exploded-graph-rewriter. I have plans to implement different Explorers (which would only visit a part of the graph). You should now be unblocked to take a look at the SVG stuff that you had (but pls keep it at a lower priority than the immediate GSoC stuff).

Thanks for your huge amount of work! "Hold my beer."

Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D64110/new/

https://reviews.llvm.org/D64110