validation/linear/logical-phi0.c

   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  */