[analyzer] Add a debug checker that prints Exploded Graph
authorAnna Zaks <ganna@apple.com>
Mon, 24 Jun 2013 18:12:12 +0000 (18:12 +0000)
committerAnna Zaks <ganna@apple.com>
Mon, 24 Jun 2013 18:12:12 +0000 (18:12 +0000)
commit7925e3db637a25d380fc68a8103a6bae6505d8de
tree8a915fa19d4c2095b807120e8e5ae76d9c86ce08
parent6ca71579db758e6f7cf4f2c359b6857432a6b55e
[analyzer] Add a debug checker that prints Exploded Graph
Add a debug checker that is useful to understand how the ExplodedGraph is
built; it can be triggered using the following command:

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

A patch by BĂ©atrice Creusillet!

llvm-svn: 184768
clang/docs/analyzer/DebugChecks.rst
clang/lib/StaticAnalyzer/Checkers/Checkers.td
clang/lib/StaticAnalyzer/Checkers/DebugCheckers.cpp