1  /* { dg-do run } */
       2  /* { dg-additional-options "-fipa-pta" } */
       3  
       4  extern void abort (void);
       5  extern void *malloc (__SIZE_TYPE__);
       6  
       7  static int *p;
       8  static void __attribute__((noinline,noclone)) foo ()
       9  {
      10    p = (int *) malloc (24);
      11    *p = 2;
      12  }
      13  int main()
      14  {
      15    foo ();
      16    if (*p != 2)
      17      abort ();
      18    return 0;
      19  }