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 | 9f7ba9bd52823eb0fdb64767f2d09fb6b96b8179 (patch) | |
tree | 31632986d83561fa0e9bf8f6359e91335049c6e7 /docs/analyzer | |
parent | de2b523b9a2a32ff27e0689413c078c2cf87e666 (diff) |
[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!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@184768 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/analyzer')
-rw-r--r-- | docs/analyzer/DebugChecks.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/analyzer/DebugChecks.rst b/docs/analyzer/DebugChecks.rst index f8e6f827c1..a0f2a07a00 100644 --- a/docs/analyzer/DebugChecks.rst +++ b/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 ============= |