/* Some targets can optimize this on RTL.  */
/* { dg-do link { target { x86_64-*-* i?86-*-* } } } */
/* { dg-options "-O -fdump-tree-optimized" } */

extern void link_error(void);
int i;
int main()
{
  int a[4];
  if ((char*)&a[1] + 4*i + 4 != (char*)&a[i+2])
    link_error();
  return 0;
}

/* { dg-final { scan-tree-dump-not "link_error" "optimized" { xfail *-*-* } } } */