1  /* Copyright 2006 Free Software Foundation */
       2  
       3  /* Make sure a and a1 alias each other.
       4     Incomplete array types used to not be unified, which broke aliasing.  */
       5  
       6  /* { dg-do run } */
       7  
       8  typedef long atype[];
       9  typedef long atype1[];
      10  int NumSift (atype *a, atype1 *a1)
      11  {
      12    (*a)[0] = 0;
      13    (*a1)[0] = 1;
      14    return (*a)[0];
      15  }
      16  int main(void)
      17  {
      18    long a[2];
      19    if (!NumSift(&a, &a))
      20      __builtin_abort ();
      21    return 0;
      22  }