[LLVMbugs] [Bug 10418] New: PthreadLockChecker's double-locking detection doesn't support recursive locks

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=10418

           Summary: PthreadLockChecker's double-locking detection doesn't
                    support recursive locks
           Product: clang
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: jediknil at belkadan.com
                CC: llvmbugs at cs.uiuc.edu


PthreadLockChecker emits a warning when a locking function is called on the
same lock twice. However, POSIX mutexes can be recursive locks
(PTHREAD_MUTEX_RECURSIVE), which would make these warnings false positives.

Since the code just went into trunk, there's no demand for a fix right now, but
it's a known limitation, to be sure.

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.