diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-23 16:53:33 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-23 20:24:42 +0200 |
| commit | f22be7c4b6f98605a7888eed55bf26955d866cc8 (patch) | |
| tree | 3f8314fc0340bd712c84806396fb84442963340c /validation | |
| parent | 5a872d61e68aab38e89b01621d2c7ad84dcc023a (diff) | |
| download | sparse-dev-f22be7c4b6f98605a7888eed55bf26955d866cc8.tar.gz | |
big-shift: add testcases for simplification of negative shifts
Like GCC, we don't want to touch shifts with a negative count.
Add testcases covering this at expansion and simplification time.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/shift-negative.c | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/validation/shift-negative.c b/validation/shift-negative.c new file mode 100644 index 00000000..533fc68a --- /dev/null +++ b/validation/shift-negative.c @@ -0,0 +1,18 @@ +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-known-to-fail + * + * check-error-start +shift-negative.c:1:45: warning: shift count is negative (-1) +shift-negative.c:2:45: 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 + */ |