1  int __attribute__ ((noinline, noclone))
       2  f (int *x, int n)
       3  {
       4    int b = 13;
       5    for (int i = 0; i < n; ++i)
       6      {
       7        int next = x[i];
       8        b = b < 100 ? next : 200;
       9      }
      10    return b;
      11  }
      12  
      13  static int res[32];
      14  
      15  int
      16  main (void)
      17  {
      18    for (int i = 0; i < 32; ++i)
      19      res[i] = i;
      20    res[15] = 100;
      21    if (f (res, 32) != 200)
      22      __builtin_abort ();
      23    return 0;
      24  }