1*c85f09ccSJohn Levon int fun(void);
2*c85f09ccSJohn Levon 
foo(int a)3*c85f09ccSJohn Levon static int foo(int a)
4*c85f09ccSJohn Levon {
5*c85f09ccSJohn Levon 	return a && fun();
6*c85f09ccSJohn Levon }
7*c85f09ccSJohn Levon 
bar(int a)8*c85f09ccSJohn Levon static int bar(int a)
9*c85f09ccSJohn Levon {
10*c85f09ccSJohn Levon 	return a || fun();
11*c85f09ccSJohn Levon }
12*c85f09ccSJohn Levon 
13*c85f09ccSJohn Levon /*
14*c85f09ccSJohn Levon  * check-name: phi-order01
15*c85f09ccSJohn Levon  * check-command: sparse -vir -flinearize=last $file
16*c85f09ccSJohn Levon  */
17