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