1  /* { dg-do compile } */
       2  
       3  __attribute__ ((pure, returns_twice)) int
       4  foo (int x)
       5  {
       6    int a;
       7  
       8    a = x ? 3 : 0;
       9    x /= a;
      10    a = foo (x);
      11    if (x == a)
      12      __builtin_unreachable ();
      13  
      14    return 0;
      15  }