9 #define PT_GUARDED_BY(x)    __attribute__ ((pt_guarded_by(x)))  macro
384 int *pgb_ptr_var_arg PT_GUARDED_BY(mu1);
389 int pgb_var_args PT_GUARDED_BY(mu1); // \
396   int *pgb_field_args PT_GUARDED_BY(mu1);
399 class PT_GUARDED_BY(mu1) PGB { // \  in PT_GUARDED_BY()  function
403 void pgb_function() PT_GUARDED_BY(mu1); // \
406 void pgb_function_params(int gv_lvar PT_GUARDED_BY(mu1)); // \
410   int *x PT_GUARDED_BY(mu1) = new int(0); // \  in pgb_testfn()  local
418 int * pgb_var_arg_1 PT_GUARDED_BY(muWrapper.mu);  variable
419 int * pgb_var_arg_2 PT_GUARDED_BY(muDoubleWrapper.muWrapper->mu);  variable
420 int * pgb_var_arg_3 PT_GUARDED_BY(muWrapper.getMu());  variable
421 int * pgb_var_arg_4 PT_GUARDED_BY(*muWrapper.getMuPointer());  variable
422 int * pgb_var_arg_5 PT_GUARDED_BY(&mu1);  variable
423 int * pgb_var_arg_6 PT_GUARDED_BY(muRef);
424 int * pgb_var_arg_7 PT_GUARDED_BY(muDoubleWrapper.getWrapper()->getMu());  variable
425 int * pgb_var_arg_8 PT_GUARDED_BY(muPointer);
429 int * pgb_var_arg_bad_1 PT_GUARDED_BY(1); // \  variable
431 int * pgb_var_arg_bad_2 PT_GUARDED_BY("mu"); // \  variable
433 int * pgb_var_arg_bad_3 PT_GUARDED_BY(muDoublePointer); // \
435 int * pgb_var_arg_bad_4 PT_GUARDED_BY(umu); // \
1444 smart_ptr<int> gdat PT_GUARDED_BY(gmu);
1453   smart_ptr<int> a PT_GUARDED_BY(mu_);