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