fn1(unsigned int a)1 unsigned int fn1(unsigned int a) { return a >> -1; }
fn2(unsigned int a)2 unsigned int fn2(unsigned int a) { return a >> ~0; }
3
fo1(unsigned int a)4 unsigned int fo1(unsigned int a) { return a >> ((a & 0) | -1); }
fo2(unsigned int a)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 */
18