1  /* { dg-do run } */
       2  /* { dg-options "-O1" } */ 
       3  
       4  void abort (void);
       5  
       6  int f(int i1243)
       7  {
       8    int i[2], *i1 = i;
       9    i[0] = 1;
      10    volatile int *i2 = i1;
      11    i2[1] = 1;
      12    i1243 = 0;
      13    return i2[1]+i2[0];
      14  }
      15  
      16  
      17  int main(void)
      18  {
      19    if( f(100) != 2)
      20     abort ();
      21    return 0;
      22  }