diff options
| author | Anna Zaks <ganna@apple.com> | 2013-06-24 18:12:12 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2013-06-24 18:12:12 +0000 |
| commit | 7925e3db637a25d380fc68a8103a6bae6505d8de (patch) | |
| tree | 8a915fa19d4c2095b807120e8e5ae76d9c86ce08 /clang/docs/analyzer | |
| parent | 6ca71579db758e6f7cf4f2c359b6857432a6b55e (diff) | |
| download | bcm5719-llvm-7925e3db637a25d380fc68a8103a6bae6505d8de.tar.gz bcm5719-llvm-7925e3db637a25d380fc68a8103a6bae6505d8de.zip | |
[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
Diffstat (limited to 'clang/docs/analyzer')
| -rw-r--r-- | clang/docs/analyzer/DebugChecks.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/clang/docs/analyzer/DebugChecks.rst b/clang/docs/analyzer/DebugChecks.rst index f8e6f827c1b..a0f2a07a00b 100644 --- a/clang/docs/analyzer/DebugChecks.rst +++ b/clang/docs/analyzer/DebugChecks.rst @@ -30,6 +30,10 @@ using a 'dot' format viewer (such as Graphviz on OS X) instead. - debug.DumpLiveVars: Show the results of live variable analysis for each top-level function being analyzed. +- debug.ViewExplodedGraph: Show the Exploded Graphs generated for the + analysis of different functions in the input translation unit. When there + are several functions analyzed, display one graph per function. Beware + that these graphs may grow very large, even for small functions. Path Tracking ============= |
