1  /* { dg-do run } */
       2  /* { dg-additional-options "-fipa-pta" } */
       3  
       4  static int *p;
       5  void bar(int cnt)
       6  {
       7    if (cnt == 0)
       8      {
       9        p = &cnt;
      10        bar (1);
      11        if (cnt != 1)
      12  	__builtin_abort ();
      13      }
      14    else if (cnt == 1)
      15      *p = 1;
      16  }
      17  int main()
      18  {
      19    bar (0);
      20    return 0;
      21  }