[analyzer] PthreadLock: add printState().
ClosedPublic

Authored by NoQ on Sep 13 2017, 6:35 AM.

Details

Summary

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.

Diff Detail

Repository
rL LLVM
NoQ created this revision.Sep 13 2017, 6:35 AM
zaks.anna accepted this revision.Sep 13 2017, 8:51 AM
This revision is now accepted and ready to land.Sep 13 2017, 8:51 AM
This revision was automatically updated to reflect the committed changes.