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