diff options
| -rw-r--r-- | www/analyzer/checker_dev_manual.html | 6 |
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. |