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