1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-require-effective-target maybe_x32 } */
       3  /* { dg-options "-O -mx32 -maddress-mode=long -fno-tree-dominator-opts" } */
       4  
       5  extern char foo[];
       6  
       7  void
       8  test2 (void)
       9  {
      10    int s;
      11    for (s = 0;; ++s)
      12      {
      13        if (foo[s] != s)
      14  	__builtin_abort ();
      15        foo[s] = s;
      16      }
      17  }