]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de2b523) | patch
[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)
commit9f7ba9bd52823eb0fdb64767f2d09fb6b96b8179
tree31632986d83561fa0e9bf8f6359e91335049c6e7tree | snapshot
parentde2b523b9a2a32ff27e0689413c078c2cf87e666commit | 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
docs/analyzer/DebugChecks.rst diff | blob | history
lib/StaticAnalyzer/Checkers/Checkers.td diff | blob | history
lib/StaticAnalyzer/Checkers/DebugCheckers.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.