1  /* { dg-do run } */
       2  /* { dg-additional-options "-fno-tree-pta" } */
       3  
       4  __attribute__((noipa)) void
       5  bar (void)
       6  {
       7    volatile int v = 1;
       8    if (v)
       9      __builtin_abort ();
      10  }
      11  
      12  __attribute__((noipa)) void
      13  baz (void)
      14  {
      15  }
      16  
      17  __attribute__((noipa)) void
      18  foo (int n, double *p, double *x)
      19  {
      20    if (n < 10 && p != 0)
      21      for (int i = 0; i < 10; i++)
      22        if (x[0] < p[i])
      23          x[i] = 0;
      24    if (p != 0)
      25      bar ();
      26    else
      27      baz ();
      28  }
      29  
      30  int
      31  main ()
      32  {
      33    double arr[10];
      34    foo (1000, 0, arr);
      35    return 0;
      36  }