7 return (a() && b()) && c();
12 return (a() && b()) || c();
17 return (a() || b()) && c();
22 return (a() || b()) || c();
27 return a() && (b() && c());
32 return a() && (b() || c());
37 return a() || (b() && c());
42 return a() || (b() || c());
46 * check-name: bad-logical-phi0
47 * check-command: sparse -vir -flinearize=last $file