xref: /illumos-gate/usr/src/tools/smatch/src/validation/linear/builtin_unreachable.c (revision ea78de644e058ee2f6b1c6bb50fcc07da6e4d7ac)
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