1int a(void);
2int b(void);
3int c(void);
4
5static int laa(void)
6{
7	return (a() && b()) && c();
8}
9
10static int lao(void)
11{
12	return (a() && b()) || c();
13}
14
15static int loa(void)
16{
17	return (a() || b()) && c();
18}
19
20static int loo(void)
21{
22	return (a() || b()) || c();
23}
24
25static int raa(void)
26{
27	return a() && (b() && c());
28}
29
30static int rao(void)
31{
32	return a() && (b() || c());
33}
34
35static int roa(void)
36{
37	return a() || (b() && c());
38}
39
40static 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