[PATCH] StaticAnalyzer: ExplodedGraphViewer

[Béatrice Creusillet]

Hi,

I would like to propose this patch which I have found useful to 
understand how the ExplodedGraph is built. It adds a debug checker which 
can be triggered using the following command:

   clang -cc1 -analyze -analyzer-checker=debug.ViewExplodedGraph 
my_program.c

-- 
Béatrice Creusillet
SILKAN - www.silkan.com

-------------- next part --------------
A non-text attachment was scrubbed...
Name: ExplodedGraphViewer.patch
Type: text/x-patch
Size: 1818 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130620/b5eed27e/attachment.bin>