summaryrefslogtreecommitdiff
path: root/www
diff options
context:
space:
mode:
authorAnna Zaks <ganna@apple.com>2011-12-07 19:04:27 +0000
committerAnna Zaks <ganna@apple.com>2011-12-07 19:04:27 +0000
commitb78229c10920f6df89601ea41f4a6f5be572f43d (patch)
tree0413172cd9783f7dc63cf419120906484da10631 /www
parent22d4fb9d687ad38e7a0ee74f58abd65db84fa436 (diff)
downloadclang-b78229c10920f6df89601ea41f4a6f5be572f43d.tar.gz
clang-b78229c10920f6df89601ea41f4a6f5be572f43d.tar.bz2
clang-b78229c10920f6df89601ea41f4a6f5be572f43d.tar.xz
[analyzer] More www; document ProgramState->dump().
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@146049 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www')
-rw-r--r--www/analyzer/checker_dev_manual.html6
1 files changed, 6 insertions, 0 deletions
diff --git a/www/analyzer/checker_dev_manual.html b/www/analyzer/checker_dev_manual.html
index 6fbc1683ae..4519ac8d93 100644
--- a/www/analyzer/checker_dev_manual.html
+++ b/www/analyzer/checker_dev_manual.html
@@ -317,6 +317,12 @@ execute:
</tt>
</li>
<li>
+To see the <tt>ProgramState</tt> while debugging use the following command.
+<br><tt>
+(gdb) <b>p State->dump()</b>
+</tt>
+</li>
+<li>
To see <tt>clang::Expr</tt> while debugging use the following command. If you
pass in a SourceManager object, it will also dump the corresponding line in the
source code.