validation/sm_precedence.c

   1 unsigned int x, y;
   2
   3 void func (void)
   4 {
   5         if (x & y == 0)
   6                 frob();
   7         if (x + y == 0)
   8                 frob();
   9         if (x | y == 0)
  10                 frob();
  11         return;
  12 }
  13 /*
  14  * check-name: Smatch precedence check
  15  * check-command: smatch sm_precedence.c
  16  *
  17  * check-output-start
  18 sm_precedence.c +5 func(2) warning: do you want parens here?
  19 sm_precedence.c +9 func(6) warning: do you want parens here?
  20  * check-output-end
  21  */