[analyzer] PthreadLockChecker: Add printState() method for self-debugging.
authorArtem Dergachev <artem.dergachev@gmail.com>
Tue, 10 Oct 2017 11:49:09 +0000 (11:49 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Tue, 10 Oct 2017 11:49:09 +0000 (11:49 +0000)
commit8e32008123019c5406c051aba7abf531c0b5b25c
tree08265ec4ef05d30bc396925e03320fc83554145a
parent2eb95c33f6dd64c7887a289a01369a10f02d5216
[analyzer] PthreadLockChecker: Add printState() method for self-debugging.

This method injects additional information into program state dumps,
describing states of mutexes tracked by the checker.

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

llvm-svn: 315298
clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp