1  // { dg-lto-do run }
       2  // { dg-lto-options { { -O2 -flto -fipa-pta } } }
       3  
       4  int __attribute__ ((__noinline__)) f (unsigned *p, int *x)
       5  {
       6    int y = *p++ & 0xfff;
       7    *x++ = y;
       8    *x = *p;
       9    return y;
      10  }
      11  
      12  int
      13  main ()
      14  {
      15    unsigned u[2] = { 0x3aad, 0x5ad1 };
      16    int x[2] = { 17689, 23456 };
      17  
      18    if (f (u, x) != 0xaad || x[0] != 0xaad || x[1] != 0x5ad1)
      19      __builtin_abort ();
      20    return 0;
      21  }