gcc/testsuite/gcc.dg/redecl-3.c

/* Test for multiple declarations and composite types.  Includes bug
   13801.  */
/* Origin: Joseph Myers <jsm@polyomino.org.uk> */
/* { dg-do compile } */
/* { dg-options "-g" } */

typedef int IA[];
typedef int A10[10];

/* Test all combinations of: a variable declared at file scope (no
   type specifiers, or extern, or static), or just inside a function
   (with extern), redeclared in an inner scope (with extern), and
   redeclared in an inner scope when the previous declaration is
   hidden (with extern, and not if the original declaration was
   static).  Test three times: incomplete variable types; pointers to
   incomplete types; functions returning such pointers.  */

IA a0;
void
f0 (void)
{
  sizeof(a0); /* { dg-error "incomplete" } */
  {
    extern IA a0;
    sizeof(a0); /* { dg-error "incomplete" } */
    {
      int a0;
      {
        extern IA a0;
        sizeof(a0); /* { dg-error "incomplete" } */
      }
    }
    sizeof(a0); /* { dg-error "incomplete" } */
  }
  sizeof(a0); /* { dg-error "incomplete" } */
}
extern A10 a0;

IA a1;
void
f1 (void)
{
  sizeof(a1); /* { dg-error "incomplete" } */
  {
    extern IA a1;
    sizeof(a1); /* { dg-error "incomplete" } */
    {
      int a1;
      {
        extern A10 a1;
        sizeof(a1);
      }
    }
    sizeof(a1); /* { dg-error "incomplete" } */
  }
  sizeof(a1); /* { dg-error "incomplete" } */
}
extern A10 a1;

IA a2;
void
f2 (void)
{
  sizeof(a2); /* { dg-error "incomplete" } */
  {
    extern A10 a2;
    sizeof(a2);
    {
      int a2;
      {
        extern IA a2;
        sizeof(a2); /* { dg-error "incomplete" } */
      }
    }
    sizeof(a2);
  }
  sizeof(a2); /* { dg-error "incomplete" } */
}
extern A10 a2;

IA a3;
void
f3 (void)
{
  sizeof(a3); /* { dg-error "incomplete" } */
  {
    extern A10 a3;
    sizeof(a3);
    {
      int a3;
      {
        extern A10 a3;
        sizeof(a3);
      }
    }
    sizeof(a3);
  }
  sizeof(a3); /* { dg-error "incomplete" } */
}
extern A10 a3;

A10 a4;
void
f4 (void)
{
  sizeof(a4);
  {
    extern IA a4;
    sizeof(a4);
    {
      int a4;
      {
        extern IA a4;
        sizeof(a4); /* { dg-error "incomplete" } */
      }
    }
    sizeof(a4);
  }
  sizeof(a4);
}
extern A10 a4;

A10 a5;
void
f5 (void)
{
  sizeof(a5);
  {
    extern IA a5;
    sizeof(a5);
    {
      int a5;
      {
        extern A10 a5;
        sizeof(a5);
      }
    }
    sizeof(a5);
  }
  sizeof(a5);
}
extern A10 a5;

A10 a6;
void
f6 (void)
{
  sizeof(a6);
  {
    extern A10 a6;
    sizeof(a6);
    {
      int a6;
      {
        extern IA a6;
        sizeof(a6); /* { dg-error "incomplete" } */
      }
    }
    sizeof(a6);
  }
  sizeof(a6);
}
extern A10 a6;

A10 a7;
void
f7 (void)
{
  sizeof(a7);
  {
    extern A10 a7;
    sizeof(a7);
    {
      int a7;
      {
        extern A10 a7;
        sizeof(a7);
      }
    }
    sizeof(a7);
  }
  sizeof(a7);
}
extern A10 a7;

extern IA a8;
void
f8 (void)
{
  sizeof(a8); /* { dg-error "incomplete" } */
  {
    extern IA a8;
    sizeof(a8); /* { dg-error "incomplete" } */
    {
      int a8;
      {
        extern IA a8;
        sizeof(a8); /* { dg-error "incomplete" } */
      }
    }
    sizeof(a8); /* { dg-error "incomplete" } */
  }
  sizeof(a8); /* { dg-error "incomplete" } */
}
extern A10 a8;

extern IA a9;
void
f9 (void)
{
  sizeof(a9); /* { dg-error "incomplete" } */
  {
    extern IA a9;
    sizeof(a9); /* { dg-error "incomplete" } */
    {
      int a9;
      {
        extern A10 a9;
        sizeof(a9);
      }
    }
    sizeof(a9); /* { dg-error "incomplete" } */
  }
  sizeof(a9); /* { dg-error "incomplete" } */
}
extern A10 a9;

extern IA a10;
void
f10 (void)
{
  sizeof(a10); /* { dg-error "incomplete" } */
  {
    extern A10 a10;
    sizeof(a10);
    {
      int a10;
      {
        extern IA a10;
        sizeof(a10); /* { dg-error "incomplete" } */
      }
    }
    sizeof(a10);
  }
  sizeof(a10); /* { dg-error "incomplete" } */
}
extern A10 a10;

extern IA a11;
void
f11 (void)
{
  sizeof(a11); /* { dg-error "incomplete" } */
  {
    extern A10 a11;
    sizeof(a11);
    {
      int a11;
      {
        extern A10 a11;
        sizeof(a11);
      }
    }
    sizeof(a11);
  }
  sizeof(a11); /* { dg-error "incomplete" } */
}
extern A10 a11;

extern A10 a12;
void
f12 (void)
{
  sizeof(a12);
  {
    extern IA a12;
    sizeof(a12);
    {
      int a12;
      {
        extern IA a12;
        sizeof(a12); /* { dg-error "incomplete" } */
      }
    }
    sizeof(a12);
  }
  sizeof(a12);
}
extern A10 a12;

extern A10 a13;
void
f13 (void)
{
  sizeof(a13);
  {
    extern IA a13;
    sizeof(a13);
    {
      int a13;
      {
        extern A10 a13;
        sizeof(a13);
      }
    }
    sizeof(a13);
  }
  sizeof(a13);
}
extern A10 a13;

extern A10 a14;
void
f14 (void)
{
  sizeof(a14);
  {
    extern A10 a14;
    sizeof(a14);
    {
      int a14;
      {
        extern IA a14;
        sizeof(a14); /* { dg-error "incomplete" } */
      }
    }
    sizeof(a14);
  }
  sizeof(a14);
}
extern A10 a14;

extern A10 a15;
void
f15 (void)
{
  sizeof(a15);
  {
    extern A10 a15;
    sizeof(a15);
    {
      int a15;
      {
        extern A10 a15;
        sizeof(a15);
      }
    }
    sizeof(a15);
  }
  sizeof(a15);
}
extern A10 a15;

static IA a16;
void
f16 (void)
{
  sizeof(a16); /* { dg-error "incomplete" } */
  {
    extern IA a16;
    sizeof(a16); /* { dg-error "incomplete" } */
  }
  sizeof(a16); /* { dg-error "incomplete" } */
}
extern A10 a16;

static IA a17;
void
f17 (void)
{
  sizeof(a17); /* { dg-error "incomplete" } */
  {
    extern A10 a17;
    sizeof(a17);
  }
  sizeof(a17); /* { dg-error "incomplete" } */
}
extern A10 a17;

static A10 a18;
void
f18 (void)
{
  sizeof(a18);
  {
    extern IA a18;
    sizeof(a18);
  }
  sizeof(a18);
}
extern A10 a18;

static A10 a19;
void
f19 (void)
{
  sizeof(a19);
  {
    extern A10 a19;
    sizeof(a19);
  }
  sizeof(a19);
}
extern A10 a19;

IA *b0;
void
g0 (void)
{
  sizeof(*b0); /* { dg-error "incomplete" } */
  {
    extern IA *b0;
    sizeof(*b0); /* { dg-error "incomplete" } */
    {
      int b0;
      {
        extern IA *b0;
        sizeof(*b0); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*b0); /* { dg-error "incomplete" } */
  }
  sizeof(*b0); /* { dg-error "incomplete" } */
}
extern A10 *b0;

IA *b1;
void
g1 (void)
{
  sizeof(*b1); /* { dg-error "incomplete" } */
  {
    extern IA *b1;
    sizeof(*b1); /* { dg-error "incomplete" } */
    {
      int b1;
      {
        extern A10 *b1;
        sizeof(*b1);
      }
    }
    sizeof(*b1); /* { dg-error "incomplete" } */
  }
  sizeof(*b1); /* { dg-error "incomplete" } */
}
extern A10 *b1;

IA *b2;
void
g2 (void)
{
  sizeof(*b2); /* { dg-error "incomplete" } */
  {
    extern A10 *b2;
    sizeof(*b2);
    {
      int b2;
      {
        extern IA *b2;
        sizeof(*b2); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*b2);
  }
  sizeof(*b2); /* { dg-error "incomplete" } */
}
extern A10 *b2;

IA *b3;
void
g3 (void)
{
  sizeof(*b3); /* { dg-error "incomplete" } */
  {
    extern A10 *b3;
    sizeof(*b3);
    {
      int b3;
      {
        extern A10 *b3;
        sizeof(*b3);
      }
    }
    sizeof(*b3);
  }
  sizeof(*b3); /* { dg-error "incomplete" } */
}
extern A10 *b3;

A10 *b4;
void
g4 (void)
{
  sizeof(*b4);
  {
    extern IA *b4;
    sizeof(*b4);
    {
      int b4;
      {
        extern IA *b4;
        sizeof(*b4); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*b4);
  }
  sizeof(*b4);
}
extern A10 *b4;

A10 *b5;
void
g5 (void)
{
  sizeof(*b5);
  {
    extern IA *b5;
    sizeof(*b5);
    {
      int b5;
      {
        extern A10 *b5;
        sizeof(*b5);
      }
    }
    sizeof(*b5);
  }
  sizeof(*b5);
}
extern A10 *b5;

A10 *b6;
void
g6 (void)
{
  sizeof(*b6);
  {
    extern A10 *b6;
    sizeof(*b6);
    {
      int b6;
      {
        extern IA *b6;
        sizeof(*b6); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*b6);
  }
  sizeof(*b6);
}
extern A10 *b6;

A10 *b7;
void
g7 (void)
{
  sizeof(*b7);
  {
    extern A10 *b7;
    sizeof(*b7);
    {
      int b7;
      {
        extern A10 *b7;
        sizeof(*b7);
      }
    }
    sizeof(*b7);
  }
  sizeof(*b7);
}
extern A10 *b7;

extern IA *b8;
void
g8 (void)
{
  sizeof(*b8); /* { dg-error "incomplete" } */
  {
    extern IA *b8;
    sizeof(*b8); /* { dg-error "incomplete" } */
    {
      int b8;
      {
        extern IA *b8;
        sizeof(*b8); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*b8); /* { dg-error "incomplete" } */
  }
  sizeof(*b8); /* { dg-error "incomplete" } */
}
extern A10 *b8;

extern IA *b9;
void
g9 (void)
{
  sizeof(*b9); /* { dg-error "incomplete" } */
  {
    extern IA *b9;
    sizeof(*b9); /* { dg-error "incomplete" } */
    {
      int b9;
      {
        extern A10 *b9;
        sizeof(*b9);
      }
    }
    sizeof(*b9); /* { dg-error "incomplete" } */
  }
  sizeof(*b9); /* { dg-error "incomplete" } */
}
extern A10 *b9;

extern IA *b10;
void
g10 (void)
{
  sizeof(*b10); /* { dg-error "incomplete" } */
  {
    extern A10 *b10;
    sizeof(*b10);
    {
      int b10;
      {
        extern IA *b10;
        sizeof(*b10); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*b10);
  }
  sizeof(*b10); /* { dg-error "incomplete" } */
}
extern A10 *b10;

extern IA *b11;
void
g11 (void)
{
  sizeof(*b11); /* { dg-error "incomplete" } */
  {
    extern A10 *b11;
    sizeof(*b11);
    {
      int b11;
      {
        extern A10 *b11;
        sizeof(*b11);
      }
    }
    sizeof(*b11);
  }
  sizeof(*b11); /* { dg-error "incomplete" } */
}
extern A10 *b11;

extern A10 *b12;
void
g12 (void)
{
  sizeof(*b12);
  {
    extern IA *b12;
    sizeof(*b12);
    {
      int b12;
      {
        extern IA *b12;
        sizeof(*b12); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*b12);
  }
  sizeof(*b12);
}
extern A10 *b12;

extern A10 *b13;
void
g13 (void)
{
  sizeof(*b13);
  {
    extern IA *b13;
    sizeof(*b13);
    {
      int b13;
      {
        extern A10 *b13;
        sizeof(*b13);
      }
    }
    sizeof(*b13);
  }
  sizeof(*b13);
}
extern A10 *b13;

extern A10 *b14;
void
g14 (void)
{
  sizeof(*b14);
  {
    extern A10 *b14;
    sizeof(*b14);
    {
      int b14;
      {
        extern IA *b14;
        sizeof(*b14); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*b14);
  }
  sizeof(*b14);
}
extern A10 *b14;

extern A10 *b15;
void
g15 (void)
{
  sizeof(*b15);
  {
    extern A10 *b15;
    sizeof(*b15);
    {
      int b15;
      {
        extern A10 *b15;
        sizeof(*b15);
      }
    }
    sizeof(*b15);
  }
  sizeof(*b15);
}
extern A10 *b15;

static IA *b16;
void
g16 (void)
{
  sizeof(*b16); /* { dg-error "incomplete" } */
  {
    extern IA *b16;
    sizeof(*b16); /* { dg-error "incomplete" } */
  }
  sizeof(*b16); /* { dg-error "incomplete" } */
}
extern A10 *b16;

static IA *b17;
void
g17 (void)
{
  sizeof(*b17); /* { dg-error "incomplete" } */
  {
    extern A10 *b17;
    sizeof(*b17);
  }
  sizeof(*b17); /* { dg-error "incomplete" } */
}
extern A10 *b17;

static A10 *b18;
void
g18 (void)
{
  sizeof(*b18);
  {
    extern IA *b18;
    sizeof(*b18);
  }
  sizeof(*b18);
}
extern A10 *b18;

static A10 *b19;
void
g19 (void)
{
  sizeof(*b19);
  {
    extern A10 *b19;
    sizeof(*b19);
  }
  sizeof(*b19);
}
extern A10 *b19;

IA *c0 (void);
void
h0 (void)
{
  sizeof(*c0()); /* { dg-error "incomplete" } */
  {
    extern IA *c0 (void);
    sizeof(*c0()); /* { dg-error "incomplete" } */
    {
      int c0;
      {
        extern IA *c0 (void);
        sizeof(*c0()); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*c0()); /* { dg-error "incomplete" } */
  }
  sizeof(*c0()); /* { dg-error "incomplete" } */
}
A10 *c0 (void) { return 0; }

IA *c1 (void);
void
h1 (void)
{
  sizeof(*c1()); /* { dg-error "incomplete" } */
  {
    extern IA *c1 (void);
    sizeof(*c1()); /* { dg-error "incomplete" } */
    {
      int c1;
      {
        extern A10 *c1 (void);
        sizeof(*c1());
      }
    }
    sizeof(*c1()); /* { dg-error "incomplete" } */
  }
  sizeof(*c1()); /* { dg-error "incomplete" } */
}
A10 *c1 (void) { return 0; }

IA *c2 (void);
void
h2 (void)
{
  sizeof(*c2()); /* { dg-error "incomplete" } */
  {
    extern A10 *c2 (void);
    sizeof(*c2());
    {
      int c2;
      {
        extern IA *c2 (void);
        sizeof(*c2()); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*c2());
  }
  sizeof(*c2()); /* { dg-error "incomplete" } */
}
A10 *c2 (void) { return 0; }

IA *c3 (void);
void
h3 (void)
{
  sizeof(*c3()); /* { dg-error "incomplete" } */
  {
    extern A10 *c3 (void);
    sizeof(*c3());
    {
      int c3;
      {
        extern A10 *c3 (void);
        sizeof(*c3());
      }
    }
    sizeof(*c3());
  }
  sizeof(*c3()); /* { dg-error "incomplete" } */
}
A10 *c3 (void) { return 0; }

A10 *c4 (void);
void
h4 (void)
{
  sizeof(*c4());
  {
    extern IA *c4 (void);
    sizeof(*c4());
    {
      int c4;
      {
        extern IA *c4 (void);
        sizeof(*c4()); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*c4());
  }
  sizeof(*c4());
}
A10 *c4 (void) { return 0; }

A10 *c5 (void);
void
h5 (void)
{
  sizeof(*c5());
  {
    extern IA *c5 (void);
    sizeof(*c5());
    {
      int c5;
      {
        extern A10 *c5 (void);
        sizeof(*c5());
      }
    }
    sizeof(*c5());
  }
  sizeof(*c5());
}
A10 *c5 (void) { return 0; }

A10 *c6 (void);
void
h6 (void)
{
  sizeof(*c6());
  {
    extern A10 *c6 (void);
    sizeof(*c6());
    {
      int c6;
      {
        extern IA *c6 (void);
        sizeof(*c6()); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*c6());
  }
  sizeof(*c6());
}
A10 *c6 (void) { return 0; }

A10 *c7 (void);
void
h7 (void)
{
  sizeof(*c7());
  {
    extern A10 *c7 (void);
    sizeof(*c7());
    {
      int c7;
      {
        extern A10 *c7 (void);
        sizeof(*c7());
      }
    }
    sizeof(*c7());
  }
  sizeof(*c7());
}
A10 *c7 (void) { return 0; }

extern IA *c8 (void);
void
h8 (void)
{
  sizeof(*c8()); /* { dg-error "incomplete" } */
  {
    extern IA *c8 (void);
    sizeof(*c8()); /* { dg-error "incomplete" } */
    {
      int c8;
      {
        extern IA *c8 (void);
        sizeof(*c8()); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*c8()); /* { dg-error "incomplete" } */
  }
  sizeof(*c8()); /* { dg-error "incomplete" } */
}
extern A10 *c8 (void) { return 0; }

extern IA *c9 (void);
void
h9 (void)
{
  sizeof(*c9()); /* { dg-error "incomplete" } */
  {
    extern IA *c9 (void);
    sizeof(*c9()); /* { dg-error "incomplete" } */
    {
      int c9;
      {
        extern A10 *c9 (void);
        sizeof(*c9());
      }
    }
    sizeof(*c9()); /* { dg-error "incomplete" } */
  }
  sizeof(*c9()); /* { dg-error "incomplete" } */
}
extern A10 *c9 (void) { return 0; }

extern IA *c10 (void);
void
h10 (void)
{
  sizeof(*c10()); /* { dg-error "incomplete" } */
  {
    extern A10 *c10 (void);
    sizeof(*c10());
    {
      int c10;
      {
        extern IA *c10 (void);
        sizeof(*c10()); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*c10());
  }
  sizeof(*c10()); /* { dg-error "incomplete" } */
}
extern A10 *c10 (void) { return 0; }

extern IA *c11 (void);
void
h11 (void)
{
  sizeof(*c11()); /* { dg-error "incomplete" } */
  {
    extern A10 *c11 (void);
    sizeof(*c11());
    {
      int c11;
      {
        extern A10 *c11 (void);
        sizeof(*c11());
      }
    }
    sizeof(*c11());
  }
  sizeof(*c11()); /* { dg-error "incomplete" } */
}
extern A10 *c11 (void) { return 0; }

extern A10 *c12 (void);
void
h12 (void)
{
  sizeof(*c12());
  {
    extern IA *c12 (void);
    sizeof(*c12());
    {
      int c12;
      {
        extern IA *c12 (void);
        sizeof(*c12()); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*c12());
  }
  sizeof(*c12());
}
extern A10 *c12 (void) { return 0; }

extern A10 *c13 (void);
void
h13 (void)
{
  sizeof(*c13());
  {
    extern IA *c13 (void);
    sizeof(*c13());
    {
      int c13;
      {
        extern A10 *c13 (void);
        sizeof(*c13());
      }
    }
    sizeof(*c13());
  }
  sizeof(*c13());
}
extern A10 *c13 (void) { return 0; }

extern A10 *c14 (void);
void
h14 (void)
{
  sizeof(*c14());
  {
    extern A10 *c14 (void);
    sizeof(*c14());
    {
      int c14;
      {
        extern IA *c14 (void);
        sizeof(*c14()); /* { dg-error "incomplete" } */
      }
    }
    sizeof(*c14());
  }
  sizeof(*c14());
}
extern A10 *c14 (void) { return 0; }

extern A10 *c15 (void);
void
h15 (void)
{
  sizeof(*c15());
  {
    extern A10 *c15 (void);
    sizeof(*c15());
    {
      int c15;
      {
        extern A10 *c15 (void);
        sizeof(*c15());
      }
    }
    sizeof(*c15());
  }
  sizeof(*c15());
}
extern A10 *c15 (void) { return 0; }

static IA *c16 (void);
void
h16 (void)
{
  sizeof(*c16()); /* { dg-error "incomplete" } */
  {
    extern IA *c16 (void);
    sizeof(*c16()); /* { dg-error "incomplete" } */
  }
  sizeof(*c16()); /* { dg-error "incomplete" } */
}
static A10 *c16 (void) { return 0; }

static IA *c17 (void);
void
h17 (void)
{
  sizeof(*c17()); /* { dg-error "incomplete" } */
  {
    extern A10 *c17 (void);
    sizeof(*c17());
  }
  sizeof(*c17()); /* { dg-error "incomplete" } */
}
static A10 *c17 (void) { return 0; }

static A10 *c18 (void);
void
h18 (void)
{
  sizeof(*c18());
  {
    extern IA *c18 (void);
    sizeof(*c18());
  }
  sizeof(*c18());
}
static A10 *c18 (void) { return 0; }

static A10 *c19 (void);
void
h19 (void)
{
  sizeof(*c19());
  {
    extern A10 *c19 (void);
    sizeof(*c19());
  }
  sizeof(*c19());
}
static A10 *c19 (void) { return 0; }