gcc/testsuite/gcc.dg/builtin-unreachable-4.c

/* Check that this valid code doesn't ICE.  */
/* { dg-do compile } */
/* { dg-options "-O2" } */
void
g (int a, int b, int c, int d)
{
  if (d)
    {
      ((void)
       (!(a && b && c) ? __builtin_unreachable (), 0 : 0));
    }
  ((void)
   (!(a && b && c) ? __builtin_unreachable (), 0 : 0));
}