diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-23 16:37:02 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-23 20:24:42 +0200 |
| commit | f6811d732c7dc67b5873c884900c1bef0d00fecb (patch) | |
| tree | fdb186df9933afa4850eb507309331beefa855f7 /validation | |
| parent | 6123e95d79f0050befa6cfd69d5bcf198ca0a255 (diff) | |
| download | sparse-dev-f6811d732c7dc67b5873c884900c1bef0d00fecb.tar.gz | |
big-shift: fix warning message for negative or over-sized shifts
In order to preserve shifts with negative count and give a proper
warning for them, we first need to identify when the shift must
be considered as negative. This identification is made complicated
by the fact that PSEUDO_VAL are typeless.
The solution chosen here is to try to first sign extend the shift
count (with the size of an int and the size of the instruction).
If after this extension the count appears as negative it is treated
as such (and this new value replace the old one to avoid to have to
redo this at each simplification run), otherwise it is considered
as unsigned. The only case where a negative count could be wrongly
interpreted as a big unsigned value would be if:
size target int < instruction's size < size host value
which can't happen for now since sizeof(int) == 4 on all targets
and sizeof(value) is 8.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/shift-negative.c | 1 | ||||
| -rw-r--r-- | validation/shift-undef.c | 24 |
2 files changed, 12 insertions, 13 deletions
diff --git a/validation/shift-negative.c b/validation/shift-negative.c index 533fc68a..fff5cf12 100644 --- a/validation/shift-negative.c +++ b/validation/shift-negative.c @@ -7,7 +7,6 @@ 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) diff --git a/validation/shift-undef.c b/validation/shift-undef.c index 54c8359b..4e94fa23 100644 --- a/validation/shift-undef.c +++ b/validation/shift-undef.c @@ -130,12 +130,12 @@ shift-undef.c:17:30: warning: shift too big (108) for type unsigned int shift-undef.c:18:30: warning: shift count is negative (-7) shift-undef.c:19:30: warning: shift count is negative (-8) shift-undef.c:20:30: warning: shift count is negative (-9) -shift-undef.c:21:29: warning: shift by bigger than operand's width -shift-undef.c:22:29: warning: shift by bigger than operand's width -shift-undef.c:23:29: warning: shift by bigger than operand's width -shift-undef.c:24:29: warning: shift by bigger than operand's width -shift-undef.c:25:29: warning: shift by bigger than operand's width -shift-undef.c:26:29: warning: shift by bigger than operand's width +shift-undef.c:21:29: warning: shift too big (109) for type int +shift-undef.c:22:29: warning: shift too big (110) for type unsigned int +shift-undef.c:23:29: warning: shift too big (111) for type unsigned int +shift-undef.c:24:29: warning: shift count is negative (-10) +shift-undef.c:25:29: warning: shift count is negative (-11) +shift-undef.c:26:29: warning: shift count is negative (-12) shift-undef.c:32:11: warning: shift too big (100) for type int shift-undef.c:33:11: warning: shift too big (101) for type unsigned int shift-undef.c:34:11: warning: shift too big (102) for type unsigned int @@ -154,11 +154,11 @@ shift-undef.c:46:30: warning: shift too big (108) for type unsigned int shift-undef.c:47:30: warning: shift count is negative (-7) shift-undef.c:48:30: warning: shift count is negative (-8) shift-undef.c:49:30: warning: shift count is negative (-9) -shift-undef.c:50:26: warning: shift by bigger than operand's width -shift-undef.c:51:26: warning: shift by bigger than operand's width -shift-undef.c:52:26: warning: shift by bigger than operand's width -shift-undef.c:53:26: warning: shift by bigger than operand's width -shift-undef.c:54:26: warning: shift by bigger than operand's width -shift-undef.c:55:26: warning: shift by bigger than operand's width +shift-undef.c:50:26: warning: shift too big (109) for type int +shift-undef.c:51:26: warning: shift too big (110) for type int +shift-undef.c:52:26: warning: shift too big (111) for type int +shift-undef.c:53:26: warning: shift count is negative (-10) +shift-undef.c:54:26: warning: shift count is negative (-11) +shift-undef.c:55:26: warning: shift count is negative (-12) * check-error-end */ |