1 int a(void);
2 int b(void);
3 int c(void);
4
laa(void)5 static int laa(void)
6 {
7 return (a() && b()) && c();
8 }
9
lao(void)10 static int lao(void)
11 {
12 return (a() && b()) || c();
13 }
14
loa(void)15 static int loa(void)
16 {
17 return (a() || b()) && c();
18 }
19
loo(void)20 static int loo(void)
21 {
22 return (a() || b()) || c();
23 }
24
raa(void)25 static int raa(void)
26 {
27 return a() && (b() && c());
28 }
29
rao(void)30 static int rao(void)
31 {
32 return a() && (b() || c());
33 }
34
roa(void)35 static int roa(void)
36 {
37 return a() || (b() && c());
38 }
39
roo(void)40 static int roo(void)
41 {
42 return a() || (b() || c());
43 }
44
45 /*
46 * check-name: bad-logical-phi0
47 * check-command: sparse -vir -flinearize=last $file
48 */
49