63 Mutex mu1;  variable
70 Mutex& muRef = mu1;
308 int gb_var_arg GUARDED_BY(mu1);
312 int gb_var_args __attribute__((guarded_by(mu1, mu2))); // \
322   int gb_field_args GUARDED_BY(mu1);
325 class GUARDED_BY(mu1) GB { // \  in GUARDED_BY()  argument
329 void gb_function() GUARDED_BY(mu1); // \
332 void gb_function_params(int gv_lvar GUARDED_BY(mu1)); // \
336   int x GUARDED_BY(mu1) = y; // \  in gb_testfn()
348 int gb_var_arg_5 GUARDED_BY(&mu1);
381 int *pgb_ptr_var_arg PT_GUARDED_BY(mu1);
383 int *pgb_ptr_var_args __attribute__((pt_guarded_by(mu1, mu2))); // \
386 int pgb_var_args PT_GUARDED_BY(mu1); // \
393   int *pgb_field_args PT_GUARDED_BY(mu1);
396 class PT_GUARDED_BY(mu1) PGB { // \  in PT_GUARDED_BY()  argument
400 void pgb_function() PT_GUARDED_BY(mu1); // \
403 void pgb_function_params(int gv_lvar PT_GUARDED_BY(mu1)); // \
407   int *x PT_GUARDED_BY(mu1) = new int(0); // \  in pgb_testfn()
419 int * pgb_var_arg_5 PT_GUARDED_BY(&mu1);
446 Mutex mu_aa ACQUIRED_AFTER(mu1);
455   Mutex aa_field_args ACQUIRED_AFTER(mu1);
458 class ACQUIRED_AFTER(mu1) AA { // \  in ACQUIRED_AFTER()  argument
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()
480 Mutex aa_var_arg_5 ACQUIRED_AFTER(&mu1);
506 Mutex mu_ab ACQUIRED_BEFORE(mu1);
515   Mutex ab_field_args ACQUIRED_BEFORE(mu1);
518 class ACQUIRED_BEFORE(mu1) AB { // \  in ACQUIRED_BEFORE()  argument
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()
543 Mutex ab_var_arg_5 ACQUIRED_BEFORE(&mu1);
574 void elf_function_args() EXCLUSIVE_LOCK_FUNCTION(mu1, mu2);
608 int elf_function_5() EXCLUSIVE_LOCK_FUNCTION(&mu1);
646 void slf_function_args() SHARED_LOCK_FUNCTION(mu1, mu2);
680 int slf_function_5() SHARED_LOCK_FUNCTION(&mu1);
756 int etf_function_5() EXCLUSIVE_TRYLOCK_FUNCTION(1, &mu1);
764 int etf_function_bad_1() EXCLUSIVE_TRYLOCK_FUNCTION(mu1); // \
830 int stf_function_5() SHARED_TRYLOCK_FUNCTION(1, &mu1);
838 int stf_function_bad_1() SHARED_TRYLOCK_FUNCTION(mu1); // \
865 void uf_function_args() UNLOCK_FUNCTION(mu1, mu2);
899 int uf_function_5() UNLOCK_FUNCTION(&mu1);
938 void lr_function_arg() LOCK_RETURNED(mu1);
940 void lr_function_args() __attribute__((lock_returned(mu1, mu2))); // \
943 int lr_testfn(int y) LOCK_RETURNED(mu1);
946   int x LOCK_RETURNED(mu1) = y; // \  in lr_testfn()
951 int lr_test_var LOCK_RETURNED(mu1); // \
954 void lr_fun_params(int lvar LOCK_RETURNED(mu1)); // \
959   int test_field LOCK_RETURNED(mu1); // \
961   void test_method() LOCK_RETURNED(mu1);
964 class LOCK_RETURNED(mu1) LrTestClass { // \  in LOCK_RETURNED()  argument
975 int lr_function_5() LOCK_RETURNED(&mu1);
1006 void le_function_arg() LOCKS_EXCLUDED(mu1);
1008 void le_function_args() LOCKS_EXCLUDED(mu1, mu2);
1010 int le_testfn(int y) LOCKS_EXCLUDED(mu1);
1013   int x LOCKS_EXCLUDED(mu1) = y; // \  in le_testfn()
1018 int le_test_var LOCKS_EXCLUDED(mu1); // \
1021 void le_fun_params(int lvar LOCKS_EXCLUDED(mu1)); // \
1026   int test_field LOCKS_EXCLUDED(mu1); // \
1028   void test_method() LOCKS_EXCLUDED(mu1);
1031 class LOCKS_EXCLUDED(mu1) LeTestClass { // \  in LOCKS_EXCLUDED()  argument
1042 int le_function_5() LOCKS_EXCLUDED(&mu1);
1073 void elr_function_arg() EXCLUSIVE_LOCKS_REQUIRED(mu1);
1075 void elr_function_args() EXCLUSIVE_LOCKS_REQUIRED(mu1, mu2);
1077 int elr_testfn(int y) EXCLUSIVE_LOCKS_REQUIRED(mu1);
1080   int x EXCLUSIVE_LOCKS_REQUIRED(mu1) = y; // \  in elr_testfn()
1085 int elr_test_var EXCLUSIVE_LOCKS_REQUIRED(mu1); // \
1088 void elr_fun_params(int lvar EXCLUSIVE_LOCKS_REQUIRED(mu1)); // \
1093   int test_field EXCLUSIVE_LOCKS_REQUIRED(mu1); // \
1095   void test_method() EXCLUSIVE_LOCKS_REQUIRED(mu1);
1098 class EXCLUSIVE_LOCKS_REQUIRED(mu1) ElrTestClass { // \  in EXCLUSIVE_LOCKS_REQUIRED()  argument
1109 int elr_function_5() EXCLUSIVE_LOCKS_REQUIRED(&mu1);
1141 void slr_function_arg() SHARED_LOCKS_REQUIRED(mu1);
1143 void slr_function_args() SHARED_LOCKS_REQUIRED(mu1, mu2);
1145 int slr_testfn(int y) SHARED_LOCKS_REQUIRED(mu1);
1148   int x SHARED_LOCKS_REQUIRED(mu1) = y; // \  in slr_testfn()
1153 int slr_test_var SHARED_LOCKS_REQUIRED(mu1); // \
1156 void slr_fun_params(int lvar SHARED_LOCKS_REQUIRED(mu1)); // \
1161   int test_field SHARED_LOCKS_REQUIRED(mu1); // \
1163   void test_method() SHARED_LOCKS_REQUIRED(mu1);
1166 class SHARED_LOCKS_REQUIRED(mu1) SlrTestClass { // \  in SHARED_LOCKS_REQUIRED()  argument
1177 int slr_function_5() SHARED_LOCKS_REQUIRED(&mu1);