1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=unreachable" } */
       3  /* { dg-skip-if "" { *-*-* } { "*" } { "-O2" } } */
       4  /* { dg-shouldfail "ubsan" } */
       5  
       6  int e;
       7  
       8  int
       9  main (void)
      10  {
      11    return e ? 0 : (__builtin_unreachable (), 1);
      12  }
      13  
      14  /* { dg-output "execution reached an unreachable program point" } */