1  /* Check that __builtin_unreachable() prevents the 'control reaches
       2     end of non-void function' diagnostic.  */
       3  /* { dg-do compile } */
       4  /* { dg-options "-O2 -Wreturn-type" } */
       5  int
       6  f(int a, int b)
       7  {
       8    if (a)
       9      {
      10        return b;
      11      }
      12    else
      13      {
      14        asm ("bug");
      15        __builtin_unreachable();
      16      }
      17  }