Lines Matching refs:UNLOCK_FUNCTION
17 #define UNLOCK_FUNCTION(...) __attribute__ ((unlock_function(__VA_ARGS__)))
31 void Unlock() UNLOCK_FUNCTION();
857 #if !__has_attribute(unlock_function)
858 #error "Should support unlock_function attribute"
863 void uf_function() UNLOCK_FUNCTION();
865 void uf_function_args() UNLOCK_FUNCTION(mu1, mu2);
867 int uf_testfn(int y) UNLOCK_FUNCTION();
870 int x UNLOCK_FUNCTION() = y; // \
871 // expected-warning {{'unlock_function' attribute only applies to functions}}
875 int uf_test_var UNLOCK_FUNCTION(); // \
876 // expected-warning {{'unlock_function' attribute only applies to functions}}
880 int test_field UNLOCK_FUNCTION(); // \
881 // expected-warning {{'unlock_function' attribute only applies to functions}}
882 void test_method() UNLOCK_FUNCTION();
889 void uf_fun_params(int lvar UNLOCK_FUNCTION()); // \
890 // expected-warning {{'unlock_function' attribute only applies to functions}}
895 int uf_function_1() UNLOCK_FUNCTION(muWrapper.mu);
896 int uf_function_2() UNLOCK_FUNCTION(muDoubleWrapper.muWrapper->mu);
897 int uf_function_3() UNLOCK_FUNCTION(muWrapper.getMu());
898 int uf_function_4() UNLOCK_FUNCTION(*muWrapper.getMuPointer());
899 int uf_function_5() UNLOCK_FUNCTION(&mu1);
900 int uf_function_6() UNLOCK_FUNCTION(muRef);
901 int uf_function_7() UNLOCK_FUNCTION(muDoubleWrapper.getWrapper()->getMu());
902 int uf_function_8() UNLOCK_FUNCTION(muPointer);
903 int uf_function_9(Mutex x) UNLOCK_FUNCTION(1);
904 int uf_function_9(Mutex x, Mutex y) UNLOCK_FUNCTION(1,2);
908 int uf_function_bad_2() UNLOCK_FUNCTION("mu"); // \
909 // expected-warning {{ignoring 'unlock_function' attribute because its argument is invalid}}
910 int uf_function_bad_3() UNLOCK_FUNCTION(muDoublePointer); // \
911 // expected-warning {{'unlock_function' attribute requires arguments whose type is annotated with 'capability' attribute; type here is 'Mutex **'}}
912 int uf_function_bad_4() UNLOCK_FUNCTION(umu); // \
913 // expected-warning {{'unlock_function' attribute requires arguments whose type is annotated with 'capability' attribute}}
915 int uf_function_bad_1() UNLOCK_FUNCTION(1); // \
916 // expected-error {{'unlock_function' attribute parameter 1 is out of bounds: no parameters to index into}}
917 int uf_function_bad_5(Mutex x) UNLOCK_FUNCTION(0); // \
918 // expected-error {{'unlock_function' attribute parameter 1 is out of bounds: can only be 1, since there is one parameter}}
919 int uf_function_bad_6(Mutex x, Mutex y) UNLOCK_FUNCTION(0); // \
920 // expected-error {{'unlock_function' attribute parameter 1 is out of bounds: must be between 1 and 2}}
921 int uf_function_bad_7() UNLOCK_FUNCTION(0); // \
922 // expected-error {{'unlock_function' attribute parameter 1 is out of bounds: no parameters to index into}}
1291 void unlock() UNLOCK_FUNCTION() { }
1415 void unlock() UNLOCK_FUNCTION();
