1  /* { dg-do compile } */
       2  
       3  /* No special options--in particular, turn off the default
       4     -pedantic-errors option.  */
       5  /* { dg-options "" } */
       6  
       7  /* When not using -fplan9-extensions, we don't support automatic
       8     conversion of pointer types, and we don't support referring to a
       9     typedef name directly.  */
      10  
      11  extern void exit (int);
      12  extern void abort (void);
      13  
      14  struct A { char a; };
      15  
      16  struct B {
      17    char b;
      18    struct A;		/* { dg-warning "does not declare anything" } */
      19    char c;
      20  };
      21  
      22  void
      23  f1 (struct A *p)	/* { dg-message "expected" } */
      24  {
      25    p->a = 1;
      26  }
      27  
      28  void
      29  test1 (void)
      30  {
      31    struct B b;
      32    struct A *p;
      33  
      34    b.b = 2;
      35    b.c = 3;
      36    f1 (&b);		/* { dg-warning "incompatible pointer type" } */
      37    if (b.a != 1)		/* { dg-error "no member" } */
      38      abort ();
      39    if (b.b != 2 || b.c != 3)
      40      abort ();
      41    p = &b;		/* { dg-warning "incompatible pointer type" } */
      42    if (p->a != 1)
      43      abort ();
      44  }
      45  
      46  typedef struct { char d; } D;
      47  
      48  struct E {
      49    char b;
      50    struct F { char f; };	/* { dg-warning "does not declare anything" } */
      51    char c;
      52    union {
      53      D;			/* { dg-warning "does not declare anything" } */
      54    };
      55    char e;
      56  };
      57  
      58  void
      59  f2 (struct F *p)	/* { dg-message "expected" } */
      60  {
      61    p->f = 6;
      62  }
      63  
      64  void
      65  f3 (D *p)		/* { dg-message "expected" } */
      66  {
      67    p->d = 4;
      68  }
      69  
      70  void
      71  f4 (D d)
      72  {
      73  }
      74  
      75  void
      76  test2 (void)
      77  {
      78    struct E e;
      79    struct F *pf;
      80    D *pd;
      81    D d;
      82  
      83    e.b = 2;
      84    e.c = 3;
      85    e.e = 5;
      86    f2 (&e);		/* { dg-warning "incompatible pointer type" } */
      87    f3 (&e);		/* { dg-warning "incompatible pointer type" } */
      88    if (e.d != 4)		/* { dg-error "no member" } */
      89      abort ();
      90    if (e.f != 6)		/* { dg-error "no member" } */
      91      abort ();
      92    if (e.b != 2 || e.c != 3 || e.e != 5)
      93      abort ();
      94    pf = &e;		/* { dg-warning "incompatible pointer type" } */
      95    if (pf->f != 6)
      96      abort ();
      97    pd = &e;		/* { dg-warning "incompatible pointer type" } */
      98    if (pd->d != 4)
      99      abort ();
     100    d = e.D;		/* { dg-error "no member" } */
     101    f3 (&e.D);		/* { dg-error "no member" } */
     102    f4 (e.D);		/* { dg-error "no member" } */
     103  }
     104  
     105  int
     106  main ()
     107  {
     108    test1 ();
     109    test2 ();
     110    exit (0);
     111  }