validation/builtin_unreachable.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

/* example from gcc documents */

void function_that_never_returns (void);

static int g (int c)
{
	if (c)
		return 1;
	function_that_never_returns ();
	__builtin_unreachable ();
}
     
/*
 * check-name: __builtin_unreachable()
 */