7 #define PT_GUARDED_BY(x)    __attribute__ ((pt_guarded_by(x)))  macro
381 int *pgb_ptr_var_arg PT_GUARDED_BY(mu1);
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()  function
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()  local
415 int * pgb_var_arg_1 PT_GUARDED_BY(muWrapper.mu);  variable
416 int * pgb_var_arg_2 PT_GUARDED_BY(muDoubleWrapper.muWrapper->mu);  variable
417 int * pgb_var_arg_3 PT_GUARDED_BY(muWrapper.getMu());  variable
418 int * pgb_var_arg_4 PT_GUARDED_BY(*muWrapper.getMuPointer());  variable
419 int * pgb_var_arg_5 PT_GUARDED_BY(&mu1);  variable
420 int * pgb_var_arg_6 PT_GUARDED_BY(muRef);
421 int * pgb_var_arg_7 PT_GUARDED_BY(muDoubleWrapper.getWrapper()->getMu());  variable
422 int * pgb_var_arg_8 PT_GUARDED_BY(muPointer);
426 int * pgb_var_arg_bad_1 PT_GUARDED_BY(1); // \  variable
428 int * pgb_var_arg_bad_2 PT_GUARDED_BY("mu"); // \  variable
430 int * pgb_var_arg_bad_3 PT_GUARDED_BY(muDoublePointer); // \
432 int * pgb_var_arg_bad_4 PT_GUARDED_BY(umu); // \
1394 smart_ptr<int> gdat PT_GUARDED_BY(gmu);
1403   smart_ptr<int> a PT_GUARDED_BY(mu_);