/* The compiler was failing to adjust pointer dereferences into array references after propagating &equot[0] into p. *//* { dg-do compile } *//* { dg-options "-O -ftree-dominator-opts" } */staticunsignedshortequot[(6+3)];intfoo(num)unsignedshortnum[];{unsignedshort*p=&equot[0];*p++=num[0];*p++=num[1];}