| /* Copyright 2006 Free Software Foundation */ | |
| /* Make sure a and a1 alias each other. | |
| Incomplete array types used to not be unified, which broke aliasing. */ | |
| /* { dg-do run } */ | |
| typedef long atype[]; | |
| typedef long atype1[]; | |
| int NumSift (atype *a, atype1 *a1) | |
| { | |
| (*a)[0] = 0; | |
| (*a1)[0] = 1; | |
| return (*a)[0]; | |
| } | |
| int main(void) | |
| { | |
| long a[2]; | |
| if (!NumSift(&a, &a)) | |
| __builtin_abort (); | |
| return 0; | |
| } |