f1(void)1*c85f09ccSJohn Levon int f1(void)
2*c85f09ccSJohn Levon {
3*c85f09ccSJohn Levon 	if (1)
4*c85f09ccSJohn Levon 		return 1;
5*c85f09ccSJohn Levon }
6*c85f09ccSJohn Levon 
f0(void)7*c85f09ccSJohn Levon int f0(void)
8*c85f09ccSJohn Levon {
9*c85f09ccSJohn Levon 	if (0)
10*c85f09ccSJohn Levon 		return 0;
11*c85f09ccSJohn Levon }
12*c85f09ccSJohn Levon 
fx(int p)13*c85f09ccSJohn Levon int fx(int p)
14*c85f09ccSJohn Levon {
15*c85f09ccSJohn Levon 	if (p)
16*c85f09ccSJohn Levon 		return 0;
17*c85f09ccSJohn Levon }
18*c85f09ccSJohn Levon 
bar(int p)19*c85f09ccSJohn Levon int bar(int p)
20*c85f09ccSJohn Levon {
21*c85f09ccSJohn Levon 	if (p)
22*c85f09ccSJohn Levon 		return 0;
23*c85f09ccSJohn Levon 	p++;
24*c85f09ccSJohn Levon }
25*c85f09ccSJohn Levon 
26*c85f09ccSJohn Levon /*
27*c85f09ccSJohn Levon  * check-name: missing-return
28*c85f09ccSJohn Levon  * check-command: test-linearize -m32 -fdump-ir=mem2reg -Wno-decl $file
29*c85f09ccSJohn Levon  * check-known-to-fail
30*c85f09ccSJohn Levon  *
31*c85f09ccSJohn Levon  * check-output-ignore
32*c85f09ccSJohn Levon  * check-output-pattern(1): ret.32 *\\$1
33*c85f09ccSJohn Levon  * check-output-pattern(3): ret.32 *UNDEF
34*c85f09ccSJohn Levon  */
35