42 struct Mutex mu1;  variable
43 struct Mutex mu2 ACQUIRED_AFTER(mu1);
44 struct Foo foo_ = {&mu1};
51 int Foo_fun1(int i) SHARED_LOCKS_REQUIRED(mu2) EXCLUSIVE_LOCKS_REQUIRED(mu1) {  in Foo_fun1()
55 int Foo_fun2(int i) EXCLUSIVE_LOCKS_REQUIRED(mu2) SHARED_LOCKS_REQUIRED(mu1) {  in Foo_fun2()
59 int Foo_func3(int i) LOCKS_EXCLUDED(mu1, mu2) {  in Foo_func3()
63 static int Bar_fun1(int i) EXCLUSIVE_LOCKS_REQUIRED(mu1) {  in Bar_fun1()
80   mutex_exclusive_lock(&mu1);  in main()
84   mutex_shared_lock(&mu1); // expected-warning{{acquiring mutex 'mu1' that is already held}} \  in main()
86   mutex_unlock(&mu1);  in main()
88   mutex_shared_lock(&mu1);  in main()
93   mutex_unlock(&mu1);  in main()
94   mutex_exclusive_lock(&mu1);  in main()
96   mutex_unlock(&mu1);  in main()
98   mutex_exclusive_lock(&mu1);  in main()
100   mutex_unlock(&mu1);  in main()
120   mutex_exclusive_lock(&mu1);  in main()
121 …mutex_shared_unlock(&mu1);     // expected-warning {{releasing mutex 'mu1' using shared access, ex…  in main()
122   mutex_exclusive_unlock(&mu1);  // expected-warning {{releasing mutex 'mu1' that was not held}}  in main()
124   mutex_shared_lock(&mu1);  in main()
125 …mutex_exclusive_unlock(&mu1); // expected-warning {{releasing mutex 'mu1' using exclusive access, …  in main()
126   mutex_shared_unlock(&mu1);    // expected-warning {{releasing mutex 'mu1' that was not held}}  in main()