1  /* Test C2x attribute syntax.  Test ignored attributes diagnosed.  */
       2  /* { dg-do compile } */
       3  /* { dg-options "-std=c2x -pedantic-errors" } */
       4  
       5  /* A GNU attribute that is valid in some contexts, but should be
       6     diagnosed in contexts where all attributes are ignored (attribute
       7     declarations, except for fallthrough attributes, and
       8     statements).  */
       9  #define CTX [[gnu::const]]
      10  
      11  /* An attribute that is unknown, so ignored with a warning.  */
      12  #define UNK [[gnu::no_such_attribute(![!(!)!]!,;;)]]
      13  
      14  CTX; /* { dg-warning "ignored" } */
      15  UNK; /* { dg-warning "ignored" } */
      16  
      17  UNK extern int a; /* { dg-warning "ignored" } */
      18  extern int UNK a; /* { dg-warning "ignored" } */
      19  extern int a UNK; /* { dg-warning "ignored" } */
      20  
      21  int f () UNK; /* { dg-warning "ignored" } */
      22  int f (void) UNK; /* { dg-warning "ignored" } */
      23  int g (UNK int a); /* { dg-warning "ignored" } */
      24  int g (int UNK a); /* { dg-warning "ignored" } */
      25  int g (int a UNK); /* { dg-warning "ignored" } */
      26  int g (UNK int); /* { dg-warning "ignored" } */
      27  int g (int UNK); /* { dg-warning "ignored" } */
      28  int g (int) UNK; /* { dg-warning "ignored" } */
      29  
      30  int *UNK p; /* { dg-warning "ignored" } */
      31  int b[3] UNK; /* { dg-warning "ignored" } */
      32  
      33  int h (int () UNK); /* { dg-warning "ignored" } */
      34  
      35  struct UNK s; /* { dg-warning "ignored" } */
      36  union UNK u; /* { dg-warning "ignored" } */
      37  
      38  struct UNK s2 { int a; }; /* { dg-warning "ignored" } */
      39  union UNK u2 { int a; }; /* { dg-warning "ignored" } */
      40  
      41  struct s3 { UNK int a; }; /* { dg-warning "ignored" } */
      42  struct s4 { int UNK a; }; /* { dg-warning "ignored" } */
      43  union u3 { UNK int a; }; /* { dg-warning "ignored" } */
      44  union u4 { int UNK a; }; /* { dg-warning "ignored" } */
      45  
      46  int z = sizeof (int UNK); /* { dg-warning "ignored" } */
      47  
      48  enum UNK { E1 }; /* { dg-warning "ignored" } */
      49  enum { E2 UNK }; /* { dg-warning "ignored" } */
      50  enum { E3 UNK = 4 }; /* { dg-warning "ignored" } */
      51  
      52  void
      53  func (void) UNK { /* { dg-warning "ignored" } */
      54    UNK int var; /* { dg-warning "ignored" } */
      55    CTX { } /* { dg-warning "ignored" } */
      56    CTX; /* { dg-warning "ignored" } */
      57    CTX var = 1; /* { dg-warning "ignored" } */
      58    CTX x: var = 2; /* { dg-warning "ignored" } */
      59    for (UNK int zz = 1; zz < 10; zz++) ; /* { dg-warning "ignored" } */
      60  }