[PATCH] D26835: [analyzer] Minor fixes and improvements to debug.ExprInspection

[Artem Dergachev via cfe-commits]

NoQ created this revision.
NoQ added reviewers: zaks.anna, dcoughlin, xazax.hun, a.sidorin.
NoQ added a subscriber: cfe-commits.

- Fix the bug with transition handling in `checkDeadSymbols`, that was noticed back in https://reviews.llvm.org/D18860, which never landed.
- Test this bug by adding a new function `clang_analyzer_numTimesReached()` to catch number of passes through the code, which should be handy for testing against unintended state splits.
- Add two more functions should help debugging issues quickly without running the debugger or dumping exploded graphs - `clang_analyzer_dump()` which `dump()`s an `SVal` argument to a warning message, and `clang_analyzer_printState()`, which `dump()`s the current program state to stderr.


https://reviews.llvm.org/D26835

Files:
  docs/analyzer/DebugChecks.rst
  lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
  test/Analysis/expr-inspection.c
  test/Analysis/symbol-reaper.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D26835.78468.patch
Type: text/x-patch
Size: 11019 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20161118/1ce061f9/attachment-0001.bin>