1  /* Test that enumerated types are only considered compatible when they
       2     are the same type.  PR c/6024.  */
       3  /* Origin: Joseph Myers <jsm@polyomino.org.uk>, based on
       4     PR c/6024 from Richard Earnshaw <rearnsha@arm.com> */
       5  /* { dg-do compile } */
       6  /* { dg-options "" } */
       7  
       8  /* Original test from PR c/6024.  */
       9  enum e1 {a, b};
      10  enum e2 {c, d};
      11  
      12  void f(enum e1); /* { dg-error "prototype" "error at decl" } */
      13  
      14  void f(x)
      15       enum e2 x; /* { dg-error "doesn't match prototype" } */
      16  {
      17    return;
      18  }
      19  
      20  /* Other compatibility tests.  */
      21  enum e3 { A };
      22  enum e4 { B };
      23  
      24  enum e3 v3;
      25  enum e4 *p = &v3; /* { dg-warning "incompatible" "incompatible pointer" } */
      26  enum e3 *q = &v3;
      27  
      28  void g(enum e3); /* { dg-message "note: previous declaration" "error at first decl" } */
      29  void g(enum e4); /* { dg-error "conflicting types" "error at second decl" } */
      30  
      31  void h(enum e3);
      32  void h(enum e3);