Lines Matching defs:ACQUIRED_AFTER
9 #define ACQUIRED_AFTER(...) __attribute__ ((acquired_after(__VA_ARGS__)))
88 Mutex barmu2 ACQUIRED_AFTER(barmu);
440 #if !__has_attribute(acquired_after)
441 #error "Should support acquired_after attribute"
444 Mutex mu_aa ACQUIRED_AFTER(mu1);
446 Mutex aa_var_noargs __attribute__((acquired_after)); // \
451 Mutex aa_field_noargs __attribute__((acquired_after)); // \
453 Mutex aa_field_args ACQUIRED_AFTER(mu1);
456 class ACQUIRED_AFTER(mu1) AA { // \
457 // expected-warning {{'acquired_after' attribute only applies to fields and global variables}}
460 void aa_function() ACQUIRED_AFTER(mu1); // \
461 // expected-warning {{'acquired_after' attribute only applies to fields and global variables}}
463 void aa_function_params(int gv_lvar ACQUIRED_AFTER(mu1)); // \
464 // expected-warning {{'acquired_after' attribute only applies to fields and global variables}}
467 Mutex x ACQUIRED_AFTER(mu1) = Mutex(); // \
468 // expected-warning {{'acquired_after' attribute only applies to fields and global variables}}
474 Mutex aa_var_arg_1 ACQUIRED_AFTER(muWrapper.mu);
475 Mutex aa_var_arg_2 ACQUIRED_AFTER(muDoubleWrapper.muWrapper->mu);
476 Mutex aa_var_arg_3 ACQUIRED_AFTER(muWrapper.getMu());
477 Mutex aa_var_arg_4 ACQUIRED_AFTER(*muWrapper.getMuPointer());
478 Mutex aa_var_arg_5 ACQUIRED_AFTER(&mu1);
479 Mutex aa_var_arg_6 ACQUIRED_AFTER(muRef);
480 Mutex aa_var_arg_7 ACQUIRED_AFTER
481 Mutex aa_var_arg_8 ACQUIRED_AFTER(muPointer);
485 Mutex aa_var_arg_bad_1 ACQUIRED_AFTER(1); // \
486 // expected-warning {{'acquired_after' attribute requires arguments that are class type or point to class type}}
487 Mutex aa_var_arg_bad_2 ACQUIRED_AFTER("mu"); // \
488 // expected-warning {{ignoring 'acquired_after' attribute because its argument is invalid}}
489 Mutex aa_var_arg_bad_3 ACQUIRED_AFTER(muDoublePointer); // \
490 // expected-warning {{'acquired_after' attribute requires arguments that are class type or point to class type}}
491 Mutex aa_var_arg_bad_4 ACQUIRED_AFTER(umu); // \
492 // expected-warning {{'acquired_after' attribute requires arguments whose type is annotated with 'lockable' attribute}}
493 UnlockableMu aa_var_arg_bad_5 ACQUIRED_AFTER(mu_aa); // \
494 // expected-warning {{'acquired_after' attribute can only be applied in a context annotated with 'lockable' attribute}}
