1  /* { dg-do run } */
       2  /* { dg-options "-O1" } */
       3  
       4  unsigned short v = 0x5678;
       5  int i;
       6  int j = 0;
       7  int *ptr = &j;
       8  
       9  int
      10  func (void)
      11  {
      12    for (i = 0; i < 1; ++i)
      13      {
      14        *ptr = -1;
      15        v = 0x1234;
      16      }
      17    return v;
      18  }
      19  
      20  int
      21  main (void)
      22  {
      23    func ();
      24    if (v != 0x1234)
      25      __builtin_abort ();
      26    return 0;
      27  }