This revision was automatically updated to reflect the committed changes.
Closed by commit rL315298: [analyzer] PthreadLockChecker: Add printState()
method for self-debugging. (authored by dergachev).
Changed prior to commit:
https://reviews.llvm.org/D37805?vs=115028&id=118349#toc
Repository:
NoQ created this revision.
The self-debugging method to add dumps of the checker's internal state to
program state dumps and exploded graphs.
I'm looking into enabling this checker by default, so more patches would follow.
https://reviews.llvm.org/D37805
Files:
lib/StaticAnalyzer/Checkers/P
