25 #define EXCLUSIVE_LOCKS_REQUIRED(...)   __attribute__((exclusive_locks_required(__VA_ARGS__)))  macro
49   MutexLock(Mutex *mu, bool adopt) EXCLUSIVE_LOCKS_REQUIRED(mu);
875   static int func1() EXCLUSIVE_LOCKS_REQUIRED(mu1_);
935   int method1(int i) SHARED_LOCKS_REQUIRED(mu2) EXCLUSIVE_LOCKS_REQUIRED(mu1);
943 int foo(int i) EXCLUSIVE_LOCKS_REQUIRED(mu2) SHARED_LOCKS_REQUIRED(mu1);
948 static int bar(int i) EXCLUSIVE_LOCKS_REQUIRED(mu1);
997   int GetA() EXCLUSIVE_LOCKS_REQUIRED(foo_->mu_) { return a_; }  in GetA()
1193   virtual void func1() EXCLUSIVE_LOCKS_REQUIRED(mu_);
1200   virtual void func1() EXCLUSIVE_LOCKS_REQUIRED(mu_);
1234   int foo() SHARED_LOCKS_REQUIRED(mu_) EXCLUSIVE_LOCKS_REQUIRED(mu2);
1374   void bar(int y) EXCLUSIVE_LOCKS_REQUIRED(lock_) {  in bar()
1398   void bar(int y) EXCLUSIVE_LOCKS_REQUIRED(lock_);
1444   void f1() EXCLUSIVE_LOCKS_REQUIRED(mu2) EXCLUSIVE_LOCKS_REQUIRED(mu1) {  in f1()
1464   virtual void func1() EXCLUSIVE_LOCKS_REQUIRED(mu_);
1471   virtual void func1() EXCLUSIVE_LOCKS_REQUIRED(mu_);
1694 void foo() EXCLUSIVE_LOCKS_REQUIRED(fooObj.mu_);
1854   void barND(Foo1 *foo, T *fooT) EXCLUSIVE_LOCKS_REQUIRED(foo->mu_) {  in barND()
1860   void barD(Foo1 *foo, T *fooT) EXCLUSIVE_LOCKS_REQUIRED(fooT->mu_) {  in barD()
1873   void barND() EXCLUSIVE_LOCKS_REQUIRED(fooBase.mu_) {  in barND()
1878   void barD() EXCLUSIVE_LOCKS_REQUIRED(fooBaseT.mu_) {  in barD()
1884   void barTD(T2 *fooT) EXCLUSIVE_LOCKS_REQUIRED(fooBaseT.mu_, fooT->mu_) {  in barTD()
1897   void fooEx() EXCLUSIVE_LOCKS_REQUIRED(mu_) {  in fooEx()
1951   void fooEx(CellDelayed<T> *other) EXCLUSIVE_LOCKS_REQUIRED(mu_, other->mu_) {  in fooEx()
1956   void fooExT(CellDelayed<T2> *otherT) EXCLUSIVE_LOCKS_REQUIRED(mu_, otherT->mu_) {  in fooExT()
1994   virtual void foo1(Foo *f_declared) EXCLUSIVE_LOCKS_REQUIRED(f_declared->mu_);
2056   void fooT2(const T& dummy2) EXCLUSIVE_LOCKS_REQUIRED(mu_);
2076 void Foo::foo2() EXCLUSIVE_LOCKS_REQUIRED(mu_) {  in foo2()
2080 void Foo::foo3(Foo *other) EXCLUSIVE_LOCKS_REQUIRED(other->mu_) {  in foo3()
2085 void Foo::fooT1(const T& dummy1) EXCLUSIVE_LOCKS_REQUIRED(mu_) {  in fooT1()
2096 void fooF1(Foo *f) EXCLUSIVE_LOCKS_REQUIRED(f->mu_) {  in fooF1()
2101 void fooF2(Foo *f) EXCLUSIVE_LOCKS_REQUIRED(f->mu_) {  in fooF2()
2105 void fooF3(Foo *f) EXCLUSIVE_LOCKS_REQUIRED(f->mu_);
2111 void FooT<T>::foo() EXCLUSIVE_LOCKS_REQUIRED(mu_) {  in foo()
2172   void doSomethingElse() EXCLUSIVE_LOCKS_REQUIRED(this) {  in doSomethingElse()
2401   void foo()        EXCLUSIVE_LOCKS_REQUIRED(mu_);
2402   void foo2(Foo* f) EXCLUSIVE_LOCKS_REQUIRED(mu_, f->mu_);
2404   static void sfoo(Foo* f) EXCLUSIVE_LOCKS_REQUIRED(f->mu_);
2446   void bar()        EXCLUSIVE_LOCKS_REQUIRED(getMu());
2447   void bar2(Bar* g) EXCLUSIVE_LOCKS_REQUIRED(getMu(this), g->getMu());
2449   static void sbar(Bar* g)  EXCLUSIVE_LOCKS_REQUIRED(g->getMu());
2450   static void sbar2(Bar* g) EXCLUSIVE_LOCKS_REQUIRED(getFooMu(g));
2595   void foo1() EXCLUSIVE_LOCKS_REQUIRED(mu_);
2600 void Foo::foo1() EXCLUSIVE_LOCKS_REQUIRED(mu_) {  in foo1()
2618   void foo1() EXCLUSIVE_LOCKS_REQUIRED(mutex_) {  // expected-note {{mutex acquired here}}  in foo1()
3152   void foo()  EXCLUSIVE_LOCKS_REQUIRED(&Graph::mu_) {  in foo()
3206   void goober() EXCLUSIVE_LOCKS_REQUIRED("");
3235   void foo(Inner* i) EXCLUSIVE_LOCKS_REQUIRED(getLock(i));
3243   void doSomething() EXCLUSIVE_LOCKS_REQUIRED(lock_);
3298   void w_foo() EXCLUSIVE_LOCKS_REQUIRED(mu_);
3379   void baseMethod() EXCLUSIVE_LOCKS_REQUIRED(get_mutex()) {  in baseMethod()
3432   Foo() EXCLUSIVE_LOCKS_REQUIRED(mu_)  { }  in EXCLUSIVE_LOCKS_REQUIRED()  function in ComplexNameTest::Foo
3433   ~Foo() EXCLUSIVE_LOCKS_REQUIRED(mu_) { }  in EXCLUSIVE_LOCKS_REQUIRED()  function in ComplexNameTest::Foo
3435   int operator[](int i) EXCLUSIVE_LOCKS_REQUIRED(mu_) { return 0; }  in operator []()
3480 void test1() EXCLUSIVE_LOCKS_REQUIRED(fatalmu_) {  in test1()
3484 void test2() EXCLUSIVE_LOCKS_REQUIRED(fatalmu_) {  in test2()
3490 void test3() EXCLUSIVE_LOCKS_REQUIRED(fatalmu_) {  in test3()
3499 void test4() EXCLUSIVE_LOCKS_REQUIRED(fatalmu_) {  in test4()
3528 void baseFun(Base *b) EXCLUSIVE_LOCKS_REQUIRED(b->getMutex()) { }  in baseFun()
3530 void derivedFun(Derived *d) EXCLUSIVE_LOCKS_REQUIRED(d->getMutex()) {  in derivedFun()
3623   void foo() EXCLUSIVE_LOCKS_REQUIRED(mu_);
3633   void foo() EXCLUSIVE_LOCKS_REQUIRED(this);
3660   void foo1()          EXCLUSIVE_LOCKS_REQUIRED(mu1_)
3661                        EXCLUSIVE_LOCKS_REQUIRED(mu2_);
3958 void bar() EXCLUSIVE_LOCKS_REQUIRED(getMutex1());
3960 void bar2() EXCLUSIVE_LOCKS_REQUIRED(getMutex1(), getMutex2());
4066   void test4() EXCLUSIVE_LOCKS_REQUIRED(mu_) {  in test4()
4415   void LockedFunction() EXCLUSIVE_LOCKS_REQUIRED(mu_);
4418     auto func1 = [this]() EXCLUSIVE_LOCKS_REQUIRED(mu_) {  in test()
4453   void test2() EXCLUSIVE_LOCKS_REQUIRED(getUniv()) {  in test2()
4457   void foo(Mutex* mu) EXCLUSIVE_LOCKS_REQUIRED(mu);
4506   void test()  EXCLUSIVE_LOCKS_REQUIRED(mu);
4507   void test2() EXCLUSIVE_LOCKS_REQUIRED(mu.get());
4508   void test3() EXCLUSIVE_LOCKS_REQUIRED(mu.get());
4512 void SmartRedeclare::test() EXCLUSIVE_LOCKS_REQUIRED(mu.get()) {  in test()
4516 void SmartRedeclare::test2() EXCLUSIVE_LOCKS_REQUIRED(mu) {  in test2()
4536 static void doSomethingRequiringLock() EXCLUSIVE_LOCKS_REQUIRED(custMu) { }  in doSomethingRequiringLock()
4569   void baz() EXCLUSIVE_LOCKS_REQUIRED(!mu) {  in baz()
4593   void bar2() EXCLUSIVE_LOCKS_REQUIRED(!mu) {  in bar2()
4597   void baz() EXCLUSIVE_LOCKS_REQUIRED(!mu) {  in baz()
4885   void test4() EXCLUSIVE_LOCKS_REQUIRED(mu1) {  in test4()
4890   void test5() EXCLUSIVE_LOCKS_REQUIRED(mu2) {  in test5()
4895   void test6() EXCLUSIVE_LOCKS_REQUIRED(mu2) {  in test6()
4899   void test7() EXCLUSIVE_LOCKS_REQUIRED(mu1, mu2, mu3) { }  in test7()
4901   void test8() EXCLUSIVE_LOCKS_REQUIRED(mu3, mu2, mu1) { }  in test8()
5080   void test3() EXCLUSIVE_LOCKS_REQUIRED(mu) {  // expected-note {{mutex acquired here}}  in test3()