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