clang/test/SemaCXX/template-multiple-attr-propagation.cpp

   1 // RUN: %clang_cc1 %s -Wthread-safety-analysis -verify -fexceptions
   2 // expected-no-diagnostics
   3
   4 class Mutex {
   5 public:
   6   void Lock() __attribute__((exclusive_lock_function()));
   7   void Unlock() __attribute__((unlock_function()));
   8 };
   9
  10 class A {
  11 public:
  12   Mutex mu1, mu2;
  13
  14   void foo() __attribute__((exclusive_locks_required(mu1))) __attribute__((exclusive_locks_required(mu2))) {}
  15
  16   template <class T>
  17   void bar() __attribute__((exclusive_locks_required(mu1))) __attribute__((exclusive_locks_required(mu2))) {
  18     foo();
  19   }
  20 };
  21
  22 void f() {
  23   A a;
  24   a.mu1.Lock();
  25   a.mu2.Lock();
  26   a.bar<int>();
  27   a.mu2.Unlock();
  28   a.mu1.Unlock();
  29 }