1 void function_that_never_returns(void);
   2 
   3 int foo(int c)
   4 {
   5         if (c)
   6                 return 1;
   7         function_that_never_returns();
   8         __builtin_unreachable();
   9 }
  10 
  11 /*
  12  * check-name: __builtin_unreachable()
  13  * check-command: test-linearize -Wno-decl $file
  14  *
  15  * check-known-to-fail
  16  * check-output-start
  17 foo:
  18 .L0:
  19         <entry-point>
  20         cbr         %arg1, .L3, .L2
  21 
  22 .L2:
  23         call        function_that_never_returns
  24         unreach
  25 
  26 .L3:
  27         ret.32      $1
  28 
  29 
  30  * check-output-end
  31  */