Lines Matching refs:ACQUIRED_AFTER
9 #define ACQUIRED_AFTER(...) __attribute__ ((acquired_after(__VA_ARGS__)))
88 Mutex barmu2 ACQUIRED_AFTER(barmu);
442 #if !__has_attribute(acquired_after)
443 #error "Should support acquired_after attribute"
446 Mutex mu_aa ACQUIRED_AFTER(mu1);
448 Mutex aa_var_noargs __attribute__((acquired_after)); // \
449 // expected-error {{'acquired_after' attribute takes at least 1 argument}}
453 Mutex aa_field_noargs __attribute__((acquired_after)); // \
454 // expected-error {{'acquired_after' attribute takes at least 1 argument}}
455 Mutex aa_field_args ACQUIRED_AFTER(mu1);
458 class ACQUIRED_AFTER(mu1) AA { // \
459 // expected-warning {{'acquired_after' attribute only applies to fields and global variables}}
462 void aa_function() ACQUIRED_AFTER(mu1); // \
463 // expected-warning {{'acquired_after' attribute only applies to fields and global variables}}
465 void aa_function_params(int gv_lvar ACQUIRED_AFTER(mu1)); // \
466 // expected-warning {{'acquired_after' attribute only applies to fields and global variables}}
469 Mutex x ACQUIRED_AFTER(mu1) = Mutex(); // \
470 // expected-warning {{'acquired_after' attribute only applies to fields and global variables}}
476 ACQUIRED_AFTER(muWrapper.mu);
477 Mutex aa_var_arg_2 ACQUIRED_AFTER(muDoubleWrapper.muWrapper->mu);
478 Mutex aa_var_arg_3 ACQUIRED_AFTER(muWrapper.getMu());
479 Mutex aa_var_arg_4 ACQUIRED_AFTER(*muWrapper.getMuPointer());
480 Mutex aa_var_arg_5 ACQUIRED_AFTER(&mu1);
481 Mutex aa_var_arg_6 ACQUIRED_AFTER(muRef);
482 Mutex aa_var_arg_7 ACQUIRED_AFTER(muDoubleWrapper.getWrapper()->getMu());
483 Mutex aa_var_arg_8 ACQUIRED_AFTER(muPointer);
487 Mutex aa_var_arg_bad_1 ACQUIRED_AFTER(1); // \
488 // expected-warning {{'acquired_after' attribute requires arguments whose type is annotated with 'capability' attribute; type here is 'int'}}
489 Mutex aa_var_arg_bad_2 ACQUIRED_AFTER("mu"); // \
490 // expected-warning {{ignoring 'acquired_after' attribute because its argument is invalid}}
491 Mutex aa_var_arg_bad_3 ACQUIRED_AFTER(muDoublePointer); // \
492 // expected-warning {{'acquired_after' attribute requires arguments whose type is annotated with 'capability' attribute; type here is 'Mutex **'}}
493 Mutex aa_var_arg_bad_4 ACQUIRED_AFTER(umu); // \
494 // expected-warning {{'acquired_after' attribute requires arguments whose type is annotated with 'capability' attribute}}
495 UnlockableMu aa_var_arg_bad_5 ACQUIRED_AFTER(mu_aa); // \
496 // expected-warning {{'acquired_after' attribute can only be applied in a context annotated with 'capability("mutex")' attribute}}
