11 #define ACQUIRED_AFTER(...) __attribute__ ((acquired_after(__VA_ARGS__)))  macro
90  Mutex barmu2 ACQUIRED_AFTER(barmu);
449 Mutex mu_aa ACQUIRED_AFTER(mu1);
458   Mutex aa_field_args ACQUIRED_AFTER(mu1);
461 class ACQUIRED_AFTER(mu1) AA { // \  in ACQUIRED_AFTER()  function
465 void aa_function() ACQUIRED_AFTER(mu1); // \
468 void aa_function_params(int gv_lvar ACQUIRED_AFTER(mu1)); // \
472   Mutex x ACQUIRED_AFTER(mu1) = Mutex(); // \  in aa_testfn()  local
479 Mutex aa_var_arg_1 ACQUIRED_AFTER(muWrapper.mu);  variable
480 Mutex aa_var_arg_2 ACQUIRED_AFTER(muDoubleWrapper.muWrapper->mu);  variable
481 Mutex aa_var_arg_3 ACQUIRED_AFTER(muWrapper.getMu());  variable
482 Mutex aa_var_arg_4 ACQUIRED_AFTER(*muWrapper.getMuPointer());  variable
483 Mutex aa_var_arg_5 ACQUIRED_AFTER(&mu1);  variable
484 Mutex aa_var_arg_6 ACQUIRED_AFTER(muRef);
485 Mutex aa_var_arg_7 ACQUIRED_AFTER(muDoubleWrapper.getWrapper()->getMu());  variable
486 Mutex aa_var_arg_8 ACQUIRED_AFTER(muPointer);
490 Mutex aa_var_arg_bad_1 ACQUIRED_AFTER(1); // \  variable
492 Mutex aa_var_arg_bad_2 ACQUIRED_AFTER("mu"); // \  variable
494 Mutex aa_var_arg_bad_3 ACQUIRED_AFTER(muDoublePointer); // \
496 Mutex aa_var_arg_bad_4 ACQUIRED_AFTER(umu); // \
498 UnlockableMu aa_var_arg_bad_5 ACQUIRED_AFTER(mu_aa); // \