63 Mutex mu1;  variable
70 Mutex& muRef = mu1;
308 int gb_var_arg GUARDED_BY(mu1);
310 int gb_var_args __attribute__((guarded_by(mu1, mu2))); // \
320   int gb_field_args GUARDED_BY(mu1);
323 class GUARDED_BY(mu1) GB { // \  in GUARDED_BY()  argument
327 void gb_function() GUARDED_BY(mu1); // \
330 void gb_function_params(int gv_lvar GUARDED_BY(mu1)); // \
334   int x GUARDED_BY(mu1) = y; // \  in gb_testfn()
346 int gb_var_arg_5 GUARDED_BY(&mu1);
379 int *pgb_ptr_var_arg PT_GUARDED_BY(mu1);
381 int *pgb_ptr_var_args __attribute__((pt_guarded_by(mu1, mu2))); // \
384 int pgb_var_args PT_GUARDED_BY(mu1); // \
391   int *pgb_field_args PT_GUARDED_BY(mu1);
394 class PT_GUARDED_BY(mu1) PGB { // \  in PT_GUARDED_BY()  argument
398 void pgb_function() PT_GUARDED_BY(mu1); // \
401 void pgb_function_params(int gv_lvar PT_GUARDED_BY(mu1)); // \
405   int *x PT_GUARDED_BY(mu1) = new int(0); // \  in pgb_testfn()
417 int * pgb_var_arg_5 PT_GUARDED_BY(&mu1);
444 Mutex mu_aa ACQUIRED_AFTER(mu1);
453   Mutex aa_field_args ACQUIRED_AFTER(mu1);
456 class ACQUIRED_AFTER(mu1) AA { // \  in ACQUIRED_AFTER()  argument
460 void aa_function() ACQUIRED_AFTER(mu1); // \
463 void aa_function_params(int gv_lvar ACQUIRED_AFTER(mu1)); // \
467   Mutex x ACQUIRED_AFTER(mu1) = Mutex(); // \  in aa_testfn()
478 Mutex aa_var_arg_5 ACQUIRED_AFTER(&mu1);
504 Mutex mu_ab ACQUIRED_BEFORE(mu1);
513   Mutex ab_field_args ACQUIRED_BEFORE(mu1);
516 class ACQUIRED_BEFORE(mu1) AB { // \  in ACQUIRED_BEFORE()  argument
520 void ab_function() ACQUIRED_BEFORE(mu1); // \
523 void ab_function_params(int gv_lvar ACQUIRED_BEFORE(mu1)); // \
527   Mutex x ACQUIRED_BEFORE(mu1) = Mutex(); // \  in ab_testfn()
541 Mutex ab_var_arg_5 ACQUIRED_BEFORE(&mu1);
572 void elf_function_args() EXCLUSIVE_LOCK_FUNCTION(mu1, mu2);
606 int elf_function_5() EXCLUSIVE_LOCK_FUNCTION(&mu1);
644 void slf_function_args() SHARED_LOCK_FUNCTION(mu1, mu2);
678 int slf_function_5() SHARED_LOCK_FUNCTION(&mu1);
754 int etf_function_5() EXCLUSIVE_TRYLOCK_FUNCTION(1, &mu1);
762 int etf_function_bad_1() EXCLUSIVE_TRYLOCK_FUNCTION(mu1); // \
828 int stf_function_5() SHARED_TRYLOCK_FUNCTION(1, &mu1);
836 int stf_function_bad_1() SHARED_TRYLOCK_FUNCTION(mu1); // \
863 void uf_function_args() UNLOCK_FUNCTION(mu1, mu2);
897 int uf_function_5() UNLOCK_FUNCTION(&mu1);
936 void lr_function_arg() LOCK_RETURNED(mu1);
938 void lr_function_args() __attribute__((lock_returned(mu1, mu2))); // \
941 int lr_testfn(int y) LOCK_RETURNED(mu1);
944   int x LOCK_RETURNED(mu1) = y; // \  in lr_testfn()
949 int lr_test_var LOCK_RETURNED(mu1); // \
952 void lr_fun_params(int lvar LOCK_RETURNED(mu1)); // \
957   int test_field LOCK_RETURNED(mu1); // \
959   void test_method() LOCK_RETURNED(mu1);
962 class LOCK_RETURNED(mu1) LrTestClass { // \  in LOCK_RETURNED()  argument
973 int lr_function_5() LOCK_RETURNED(&mu1);
1004 void le_function_arg() LOCKS_EXCLUDED(mu1);
1006 void le_function_args() LOCKS_EXCLUDED(mu1, mu2);
1008 int le_testfn(int y) LOCKS_EXCLUDED(mu1);
1011   int x LOCKS_EXCLUDED(mu1) = y; // \  in le_testfn()
1016 int le_test_var LOCKS_EXCLUDED(mu1); // \
1019 void le_fun_params(int lvar LOCKS_EXCLUDED(mu1)); // \
1024   int test_field LOCKS_EXCLUDED(mu1); // \
1026   void test_method() LOCKS_EXCLUDED(mu1);
1029 class LOCKS_EXCLUDED(mu1) LeTestClass { // \  in LOCKS_EXCLUDED()  argument
1040 int le_function_5() LOCKS_EXCLUDED(&mu1);
1071 void elr_function_arg() EXCLUSIVE_LOCKS_REQUIRED(mu1);
1073 void elr_function_args() EXCLUSIVE_LOCKS_REQUIRED(mu1, mu2);
1075 int elr_testfn(int y) EXCLUSIVE_LOCKS_REQUIRED(mu1);
1078   int x EXCLUSIVE_LOCKS_REQUIRED(mu1) = y; // \  in elr_testfn()
1083 int elr_test_var EXCLUSIVE_LOCKS_REQUIRED(mu1); // \
1086 void elr_fun_params(int lvar EXCLUSIVE_LOCKS_REQUIRED(mu1)); // \
1091   int test_field EXCLUSIVE_LOCKS_REQUIRED(mu1); // \
1093   void test_method() EXCLUSIVE_LOCKS_REQUIRED(mu1);
1096 class EXCLUSIVE_LOCKS_REQUIRED(mu1) ElrTestClass { // \  in EXCLUSIVE_LOCKS_REQUIRED()  argument
1107 int elr_function_5() EXCLUSIVE_LOCKS_REQUIRED(&mu1);
1139 void slr_function_arg() SHARED_LOCKS_REQUIRED(mu1);
1141 void slr_function_args() SHARED_LOCKS_REQUIRED(mu1, mu2);
1143 int slr_testfn(int y) SHARED_LOCKS_REQUIRED(mu1);
1146   int x SHARED_LOCKS_REQUIRED(mu1) = y; // \  in slr_testfn()
1151 int slr_test_var SHARED_LOCKS_REQUIRED(mu1); // \
1154 void slr_fun_params(int lvar SHARED_LOCKS_REQUIRED(mu1)); // \
1159   int test_field SHARED_LOCKS_REQUIRED(mu1); // \
1161   void test_method() SHARED_LOCKS_REQUIRED(mu1);
1164 class SHARED_LOCKS_REQUIRED(mu1) SlrTestClass { // \  in SHARED_LOCKS_REQUIRED()  argument
1175 int slr_function_5() SHARED_LOCKS_REQUIRED(&mu1);