1 /* The compiler was failing to adjust pointer dereferences into array
2    references after propagating &equot[0] into p.  */
3 
4 /* { dg-do compile } */
5 /* { dg-options "-O -ftree-dominator-opts" } */
6 
7 static unsigned short equot[(6 +3)];
8 int
foo(num)9 foo (num)
10      unsigned short num[];
11 {
12   unsigned short *p = &equot[0];
13   *p++ = num[0];
14   *p++ = num[1];
15 }
16