validation/shift-negative.c

   1 unsigned int fn1(unsigned int a) { return a >> -1; }
   2 unsigned int fn2(unsigned int a) { return a >> ~0; }
   3
   4 unsigned int fo1(unsigned int a) { return a >> ((a & 0) | -1); }
   5 unsigned int fo2(unsigned int a) { return a >> ((a & 0) ^ ~0); }
   6
   7 /*
   8  * check-name: shift-negative
   9  * check-command: sparse -Wno-decl $file
  10  *
  11  * check-error-start
  12 shift-negative.c:1:48: warning: shift count is negative (-1)
  13 shift-negative.c:2:48: warning: shift count is negative (-1)
  14 shift-negative.c:4:59: warning: shift count is negative (-1)
  15 shift-negative.c:5:59: warning: shift count is negative (-1)
  16  * check-error-end
  17  */