1*c85f09ccSJohn Levon int fun(void); 2*c85f09ccSJohn Levon foo(int a)3*c85f09ccSJohn Levonstatic int foo(int a) 4*c85f09ccSJohn Levon { 5*c85f09ccSJohn Levon return a && fun(); 6*c85f09ccSJohn Levon } 7*c85f09ccSJohn Levon bar(int a)8*c85f09ccSJohn Levonstatic 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