1 /* PR middle-end/81824 - Warn for missing attributes with function aliases 2 Exercise attribute copy for variables. 3 { dg-do compile } 4 { dg-options "-O2 -Wall" } */ 5 6 #define ATTR(list) __attribute__ (list) 7 8 /* Verify that referencing a symbol with no attributes is accepted 9 with no diagnostics. */ 10 11 int ref0; 12 13 ATTR ((copy (ref0))) long 14 var0; 15 16 /* Verify that referencing a symbol using the address-of and dereferencing 17 operators is also accepted with no diagnostics. */ 18 19 ATTR ((copy (&ref0))) void* ptr0; 20 ATTR ((copy (*&ref0))) int arr[1]; 21 22 /* Verify that referencing a symbol of a different kind than that 23 of the one the attribute is applied to is diagnosed. */ 24 25 int ref1; /* { dg-message "previous declaration here" } */ 26 27 ATTR ((copy (ref1))) int 28 ref1; /* { dg-warning ".copy. attribute ignored on a redeclaration of the referenced symbol " } */ 29 30 31 /* Verify that circular references of the copy variable attribute 32 are handled gracefully (i.e., not by getting into an infinite 33 recursion) by issuing a diagnostic. */ 34 35 char xref1; 36 ATTR ((copy (xref1))) char 37 xref1; /* { dg-warning ".copy. attribute ignored on a redeclaration of the referenced symbol" } */ 38 ATTR ((copy (xref1))) char 39 xref1; /* { dg-warning ".copy. attribute ignored on a redeclaration of the referenced symbol" } */ 40 ATTR ((copy (xref1), copy (xref1))) char 41 xref1; /* { dg-warning ".copy. attribute ignored on a redeclaration of the referenced symbol" } */ 42 43 44 /* Use attribute unused to verify that circular references propagate 45 atttibutes as expected (expect no warnings the circular reference 46 or for any of the unused symbols). Also use the address-of operator 47 to make sure it doesn't change anything. */ 48 49 static ATTR ((unused)) int xref2; 50 static ATTR ((copy (xref2))) int xref3; 51 static ATTR ((copy (&xref3))) int xref4; 52 static ATTR ((copy (xref4))) int xref5; 53 static ATTR ((copy (&xref5))) int xref6; 54 static ATTR ((copy (xref6))) int xref7; 55 static ATTR ((copy (&xref7))) int xref8; 56 static ATTR ((copy (xref8))) int xref9; 57 static ATTR ((copy (&xref9))) int xref2; 58 59 /* Verify that attribute exclusions apply. */ 60 61 ATTR ((common)) int common_var; 62 ATTR ((nocommon)) double nocommon_var; 63 64 ATTR ((copy (common_var), copy (nocommon_var))) long 65 common_copy; /* { dg-warning "ignoring attribute .nocommon. because it conflicts with attribute .common." } */ 66 67 68 /* Verify that attribute deprecated isn't copied. */ 69 70 ATTR ((deprecated)) char deprecated_var; 71 72 ATTR ((copy (deprecated_var))) int current_var; /* { dg-warning "\\\[-Wdeprecated-declarations]" } */ 73 ATTR ((copy (current_var))) int current_var_2; 74 return_current_vars(void)75int return_current_vars (void) { return current_var + current_var_2; } 76