9 #define ACQUIRED_AFTER(...) __attribute__ ((acquired_after(__VA_ARGS__)))  macro
88  Mutex barmu2 ACQUIRED_AFTER(barmu);
446 Mutex mu_aa ACQUIRED_AFTER(mu1);
455   Mutex aa_field_args ACQUIRED_AFTER(mu1);
458 class ACQUIRED_AFTER(mu1) AA { // \  in ACQUIRED_AFTER()  function
462 void aa_function() ACQUIRED_AFTER(mu1); // \
465 void aa_function_params(int gv_lvar ACQUIRED_AFTER(mu1)); // \
469   Mutex x ACQUIRED_AFTER(mu1) = Mutex(); // \  in aa_testfn()  local
476 Mutex aa_var_arg_1 ACQUIRED_AFTER(muWrapper.mu);  variable
477 Mutex aa_var_arg_2 ACQUIRED_AFTER(muDoubleWrapper.muWrapper->mu);  variable
478 Mutex aa_var_arg_3 ACQUIRED_AFTER(muWrapper.getMu());  variable
479 Mutex aa_var_arg_4 ACQUIRED_AFTER(*muWrapper.getMuPointer());  variable
480 Mutex aa_var_arg_5 ACQUIRED_AFTER(&mu1);  variable
481 Mutex aa_var_arg_6 ACQUIRED_AFTER(muRef);
482 Mutex aa_var_arg_7 ACQUIRED_AFTER(muDoubleWrapper.getWrapper()->getMu());  variable
483 Mutex aa_var_arg_8 ACQUIRED_AFTER(muPointer);
487 Mutex aa_var_arg_bad_1 ACQUIRED_AFTER(1); // \  variable
489 Mutex aa_var_arg_bad_2 ACQUIRED_AFTER("mu"); // \  variable
491 Mutex aa_var_arg_bad_3 ACQUIRED_AFTER(muDoublePointer); // \
493 Mutex aa_var_arg_bad_4 ACQUIRED_AFTER(umu); // \
495 UnlockableMu aa_var_arg_bad_5 ACQUIRED_AFTER(mu_aa); // \