blob: d217ae452ce3d30ead27a7621d5045379a92a2fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
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
*/
|
