1  /* { dg-do compile } */
       2  
       3  int __attribute__ ((pure, returns_twice))
       4  r0 (void);
       5  
       6  void
       7  vy (int t7)
       8  {
       9    while (t7 == 0)
      10      r0 ();
      11  }
      12  
      13  void
      14  qw (int t7)
      15  {
      16    vy (t7);
      17  
      18    if (0)
      19      r0 ();
      20  }
      21  
      22  void __attribute__ ((simd))
      23  un (int t7)
      24  {
      25    qw (t7);
      26    qw (t7);
      27  }