1  /* { dg-do compile } */
       2  /* { dg-additional-options "-finline-functions" } */
       3  
       4  int vh, it, k1;
       5  
       6  void
       7  vn (void)
       8  {
       9    ++vh;
      10    if (vh == 0 && it == 0)
      11      k1 = -k1;
      12  }
      13  
      14  __attribute__ ((returns_twice)) void
      15  ef (int *uw)
      16  {
      17    while (uw != (void *) 0)
      18      {
      19        vn ();
      20        *uw = 0;
      21      }
      22  }
      23  
      24  void
      25  gu (int *uw)
      26  {
      27    ef (uw);
      28  }