[PATCH] add BugReporterVisitor to PthreadLockChecker

Daniel Fahlgren daniel at fahlgren.se
Mon Jun 2 02:26:57 PDT 2014


Hi,

This patch adds a BugReporterVisitor to the pthread lock checker. The
checker was slightly extended to be able to distinguish between a lock
that is unlocked and one that is initialized for the event message to be
correct.

Btw, is there some way to add a stack hint when tracking a MemRegion and
not a SymbolRef?

Best regards,
Daniel Fahlgren
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PthreadLockChecker.cpp.diff
Type: text/x-patch
Size: 9231 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140602/2fe73626/attachment.bin>


More information about the cfe-commits mailing list