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
7static unsigned short equot[(6 +3)];
8int
9foo (num)
10     unsigned short num[];
11{
12  unsigned short *p = &equot[0];
13  *p++ = num[0];
14  *p++ = num[1];
15}
16