[PATCH] Teach pthread checker about double unlocks

[Daniel Fahlgren]

Hi Jordan,

This patch makes the pthread checker detect double unlocks. I have
copied the idea with a map from the stream checker, not sure if that is
the best approach?

Tracking the state will later make it possible to warn if you lock a
destroyed mutex, calls pthread_init twice etc. But I haven't had time
for that yet.

Best regards,
Daniel Fahlgren
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pthread.diff
Type: text/x-patch
Size: 7012 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140314/da804c6b/attachment.bin>