1  /* { dg-do compile } */
       2  
       3  void
       4  gm (int *);
       5  
       6  __attribute__ ((returns_twice)) void
       7  jg (void)
       8  {
       9  }
      10  
      11  void
      12  eb (void)
      13  {
      14    int r6 = 0;
      15  
      16    if (r6 != 0)
      17      gm (&r6);
      18  }
      19  
      20  void
      21  gm (int *r6)
      22  {
      23    jg ();
      24  
      25    for (;;)
      26      {
      27        eb ();
      28        *r6 = 0;
      29      }
      30  }