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:45: warning: shift count is negative (-1) 13 shift-negative.c:2:45: 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 */ 18