1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=undefined" } */
       3  /* { dg-shouldfail "ubsan" } */
       4  
       5  int
       6  main (void)
       7  {
       8    __builtin_unreachable ();
       9  }
      10  /* { dg-output "execution reached an unreachable program point" } */