Viewing file:  attr-copy-3.c (2.75 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* PR middle-end/81824 - Warn for missing attributes with function aliases
Exercise attribute copy for variables.
{ dg-do compile }
{ dg-options "-O2 -Wall" } */
#define ATTR(list) __attribute__ (list)
/* Verify that referencing a symbol with no attributes is accepted
with no diagnostics. */
int ref0;
ATTR ((copy (ref0))) long
var0;
/* Verify that referencing a symbol using the address-of and dereferencing
operators is also accepted with no diagnostics. */
ATTR ((copy (&ref0))) void* ptr0;
ATTR ((copy (*&ref0))) int arr[1];
/* Verify that referencing a symbol of a different kind than that
of the one the attribute is applied to is diagnosed. */
int ref1; /* { dg-message "previous declaration here" } */
ATTR ((copy (ref1))) int
ref1; /* { dg-warning ".copy. attribute ignored on a redeclaration of the referenced symbol " } */
/* Verify that circular references of the copy variable attribute
are handled gracefully (i.e., not by getting into an infinite
recursion) by issuing a diagnostic. */
char xref1;
ATTR ((copy (xref1))) char
xref1; /* { dg-warning ".copy. attribute ignored on a redeclaration of the referenced symbol" } */
ATTR ((copy (xref1))) char
xref1; /* { dg-warning ".copy. attribute ignored on a redeclaration of the referenced symbol" } */
ATTR ((copy (xref1), copy (xref1))) char
xref1; /* { dg-warning ".copy. attribute ignored on a redeclaration of the referenced symbol" } */
/* Use attribute unused to verify that circular references propagate
atttibutes as expected (expect no warnings the circular reference
or for any of the unused symbols). Also use the address-of operator
to make sure it doesn't change anything. */
static ATTR ((unused)) int xref2;
static ATTR ((copy (xref2))) int xref3;
static ATTR ((copy (&xref3))) int xref4;
static ATTR ((copy (xref4))) int xref5;
static ATTR ((copy (&xref5))) int xref6;
static ATTR ((copy (xref6))) int xref7;
static ATTR ((copy (&xref7))) int xref8;
static ATTR ((copy (xref8))) int xref9;
static ATTR ((copy (&xref9))) int xref2;
/* Verify that attribute exclusions apply. */
ATTR ((common)) int common_var;
ATTR ((nocommon)) double nocommon_var;
ATTR ((copy (common_var), copy (nocommon_var))) long
common_copy; /* { dg-warning "ignoring attribute .nocommon. because it conflicts with attribute .common." } */
/* Verify that attribute deprecated isn't copied. */
ATTR ((deprecated)) char deprecated_var;
ATTR ((copy (deprecated_var))) int current_var; /* { dg-warning "\\\[-Wdeprecated-declarations]" } */
ATTR ((copy (current_var))) int current_var_2;
int return_current_vars (void) { return current_var + current_var_2; }
|
