[llvm-bugs] [Bug 38400] New: Better warning for contradictory thread safety annotations

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=38400

            Bug ID: 38400
           Summary: Better warning for contradictory thread safety
                    annotations
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Frontend
          Assignee: unassignedclangbugs at nondot.org
          Reporter: rtrieu at google.com
                CC: llvm-bugs at lists.llvm.org

Test case:
#include "mutex.h"

struct S {
  void f() ACQUIRE(mu) RELEASE(mu);
  Mutex mu;
};

No thread safety warning despite using opposite annotations on the same
function.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20180801/ae782221/attachment-0001.html>