[PATCH] D40809: [WIP] [analyzer] Dump counterexample traces as C programs
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Dec 13 23:01:25 PST 2017
NoQ added a comment.
In https://reviews.llvm.org/D40809#954858, @dcoughlin wrote:
> One possibility is to turn this into a debug checker similar to debug.ViewExplodedGraph. That checker registers for a checkEndAnalysis() callback and traverses the node graph (see DebugCheckers.cpp). Can you do the same here? It doesn't look like you really need this to be a BugReporterVisitor -- and making it a debug checker would avoid outputting multiple copies for each diagnostic consumer.
These prints are only for actual bugs, not for the whole graph
More information about the cfe-commits