blob: 5dd4b38ee3de7b53f9ee49f03cbc56b867e5f82b (
plain)
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 0 || fun(); }
static int bar(int a) { return 1 || fun(); }
static int baz(int a) { return 0 && fun(); }
static int qux(int a) { return 1 && fun(); }
static int oof(int a) { return fun() || 1; }
static int rab(int a) { return fun() || 0; }
static int zab(int a) { return fun() && 1; }
static int xuq(int a) { return fun() && 0; }
/*
* check-name: phi-order02
* check-command: sparse -vir -flinearize=last $file
* check-known-to-fail
*/
|
