Lines Matching refs:ACQUIRED_AFTER

12 #define ACQUIRED_AFTER(...)  __attribute__((acquired_after(__VA_ARGS__)))  macro
903   Mutex mu1_ ACQUIRED_AFTER(mu);
931 Mutex mu2 ACQUIRED_AFTER(mu1);
1022   Mutex bar_mu_ ACQUIRED_AFTER(foo->foo_mu_);
1239   Mutex mu_ ACQUIRED_AFTER(mu1);
1321   Mutex mu1_ ACQUIRED_AFTER(mu);
4907   Mutex mu2 ACQUIRED_AFTER(mu1);
4908   Mutex mu3 ACQUIRED_AFTER(mu1);
4939   Mutex mu3 ACQUIRED_AFTER(mu2) ACQUIRED_BEFORE(mu4);
4983   Mutex mu2 ACQUIRED_AFTER(mu1);
4984   Mutex mu3 ACQUIRED_AFTER(mu1);
4985   Mutex mu4 ACQUIRED_AFTER(mu2, mu3);
4986   Mutex mu5 ACQUIRED_AFTER(mu4);
4987   Mutex mu6 ACQUIRED_AFTER(mu4);
4988   Mutex mu7 ACQUIRED_AFTER(mu5, mu6);
4989   Mutex mu8 ACQUIRED_AFTER(mu7);
5021 …Mutex mu1 ACQUIRED_AFTER(mu3);     // expected-warning {{Cycle in acquired_before/after dependenci…
5022 …Mutex mu2 ACQUIRED_AFTER(mu1);     // expected-warning {{Cycle in acquired_before/after dependenci…
5023 …Mutex mu3 ACQUIRED_AFTER(mu2);     // expected-warning {{Cycle in acquired_before/after dependenci…
5026 …Mutex mu_a ACQUIRED_AFTER(mu_a);   // expected-warning {{Cycle in acquired_before/after dependenci…
5151 Mutex mu2 ACQUIRED_AFTER(mu1);