validation/sm_bitwise2.c

   1 #include "check_debug.h"
   2
   3 unsigned int x;
   4 int y;
   5 void test(void)
   6 {
   7         if (x & 0x1)
   8                 __smatch_implied(x);
   9         if (y & 0x4)
  10                 __smatch_implied(y);
  11
  12 }
  13
  14 /*
  15  * check-name: smatch bitwise #2
  16  * check-command: smatch -I.. sm_bitwise2.c
  17  *
  18  * check-output-start
  19 sm_bitwise2.c:8 test() implied: x = '1-u32max'
  20 sm_bitwise2.c:10 test() implied: y = 's32min-(-1),4-s32max'
  21  * check-output-end
  22  */