10 #define ACQUIRED_BEFORE(...) __attribute__ ((acquired_before(__VA_ARGS__)))  macro
506 Mutex mu_ab ACQUIRED_BEFORE(mu1);
515   Mutex ab_field_args ACQUIRED_BEFORE(mu1);
518 class ACQUIRED_BEFORE(mu1) AB { // \  in ACQUIRED_BEFORE()  function
522 void ab_function() ACQUIRED_BEFORE(mu1); // \
525 void ab_function_params(int gv_lvar ACQUIRED_BEFORE(mu1)); // \
529   Mutex x ACQUIRED_BEFORE(mu1) = Mutex(); // \  in ab_testfn()  local
539 Mutex ab_var_arg_1 ACQUIRED_BEFORE(muWrapper.mu);  variable
540 Mutex ab_var_arg_2 ACQUIRED_BEFORE(muDoubleWrapper.muWrapper->mu);  variable
541 Mutex ab_var_arg_3 ACQUIRED_BEFORE(muWrapper.getMu());  variable
542 Mutex ab_var_arg_4 ACQUIRED_BEFORE(*muWrapper.getMuPointer());  variable
543 Mutex ab_var_arg_5 ACQUIRED_BEFORE(&mu1);  variable
544 Mutex ab_var_arg_6 ACQUIRED_BEFORE(muRef);
545 Mutex ab_var_arg_7 ACQUIRED_BEFORE(muDoubleWrapper.getWrapper()->getMu());  variable
546 Mutex ab_var_arg_8 ACQUIRED_BEFORE(muPointer);
550 Mutex ab_var_arg_bad_1 ACQUIRED_BEFORE(1); // \  variable
552 Mutex ab_var_arg_bad_2 ACQUIRED_BEFORE("mu"); // \  variable
554 Mutex ab_var_arg_bad_3 ACQUIRED_BEFORE(muDoublePointer); // \
556 Mutex ab_var_arg_bad_4 ACQUIRED_BEFORE(umu); // \
558 UnlockableMu ab_var_arg_bad_5 ACQUIRED_BEFORE(mu_ab); // \