validation/sm_macros.c

   1 #include "check_debug.h"
   2
   3 #define add(x, y) x + y
   4 #define sub(x, y) x - y
   5
   6 void func(int *p)
   7 {
   8         int a = 1;
   9         int b = 2;
  10
  11         x = 4 * add(2, 3);
  12         x = 4 + add(2, 3);
  13         x = 4 * add(2, 3) * 8;
  14         x = add(2, 3) * 4;
  15         x = add(2, 3) - 4;
  16         x = -sub(2, 3);
  17         x = sub(2, 3)++;
  18 }
  19 /*
  20  * check-name: Smatch macro precedence bugs
  21  * check-command: smatch -I.. sm_macros.c
  22  *
  23  * check-output-start
  24 sm_macros.c:11 func() warn: the 'add' macro might need parens
  25 sm_macros.c:13 func() warn: the 'add' macro might need parens
  26 sm_macros.c:13 func() warn: the 'add' macro might need parens
  27 sm_macros.c:14 func() warn: the 'add' macro might need parens
  28 sm_macros.c:16 func() warn: the 'sub' macro might need parens
  29 sm_macros.c:17 func() warn: the 'sub' macro might need parens
  30  * check-output-end
  31  */