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  */
32