[cfe-commits] r146049 - /cfe/trunk/www/analyzer/checker_dev_manual.html

[Anna Zaks]

Author: zaks
Date: Wed Dec  7 13:04:27 2011
New Revision: 146049

URL: http://llvm.org/viewvc/llvm-project?rev=146049&view=rev
Log:
[analyzer] More www; document ProgramState->dump().

Modified:
    cfe/trunk/www/analyzer/checker_dev_manual.html

Modified: cfe/trunk/www/analyzer/checker_dev_manual.html
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/www/analyzer/checker_dev_manual.html?rev=146049&r1=146048&r2=146049&view=diff
==============================================================================
--- cfe/trunk/www/analyzer/checker_dev_manual.html (original)
+++ cfe/trunk/www/analyzer/checker_dev_manual.html Wed Dec  7 13:04:27 2011
@@ -317,6 +317,12 @@
 </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.