1  /* Test declaration specifiers.  Test checks on storage class
       2     specifiers and function specifiers in empty declarations.  */
       3  /* Origin: Joseph Myers <jsm@polyomino.org.uk> */
       4  /* { dg-do compile } */
       5  /* { dg-options "" } */
       6  
       7  /* The constraints on storage class specifiers and function specifiers
       8     must be met for empty declarations where they are useless.  Thus
       9     there may be only one storage class specifier (C90 6.5.1, C99
      10     6.7.1#2) and "inline" must not be used because the declaration is
      11     not that of an identifier for a function (C99 6.7.4#1), and
      12     "register" and "auto" must not be used at file scope (C90 6.7, C99
      13     6.9#2).  */
      14  
      15  static static struct s; /* { dg-error "duplicate 'static'" } */
      16  /* { dg-warning "useless storage class specifier in empty declaration" "static static" { target *-*-* } .-1 } */
      17  
      18  static extern struct t; /* { dg-error "multiple storage classes in declaration specifiers" } */
      19  /* { dg-warning "useless storage class specifier in empty declaration" "static extern" { target *-*-* } .-1 } */
      20  
      21  inline union u; /* { dg-error "'inline' in empty declaration" } */
      22  
      23  auto struct v; /* { dg-error "'auto' in file-scope empty declaration" } */
      24  
      25  register struct w; /* { dg-error "'register' in file-scope empty declaration" } */
      26  
      27  void
      28  f (void)
      29  {
      30    auto union p; /* { dg-warning "useless storage class specifier in empty declaration" } */
      31    register struct q; /* { dg-warning "useless storage class specifier in empty declaration" } */
      32  }