]> granicus.if.org Git - clang/commit
[analyzer] Minor fixes and improvements to debug.ExprInspection
authorArtem Dergachev <artem.dergachev@gmail.com>
Wed, 30 Nov 2016 17:57:18 +0000 (17:57 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Wed, 30 Nov 2016 17:57:18 +0000 (17:57 +0000)
commitaa1bd55bf81517e798bbd9e7cf70213f058276ca
tree949a2c6944eccaca3bc1ee41d367417d7e52fa3e
parent1f955bd645a022ae16543b4dc05e50981d918f33
[analyzer] Minor fixes and improvements to debug.ExprInspection

- Fix the bug with transition handling in ExprInspectionChecker's
  checkDeadSymbols implementation.

- 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.

Differential Revision: https://reviews.llvm.org/D26835

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@288257 91177308-0d34-0410-b5e6-96231b3b80d8
docs/analyzer/DebugChecks.rst
lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
test/Analysis/expr-inspection.c [new file with mode: 0644]
test/Analysis/symbol-reaper.c