validation/linear/phi-order01.c


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

int fun(void);

static int foo(int a)
{
	return a && fun();
}

static int bar(int a)
{
	return a || fun();
}

/*
 * check-name: phi-order01
 * check-command: sparse -vir -flinearize=last $file
 * check-known-to-fail
 */