diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-06-01 03:57:35 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-23 01:40:31 +0200 |
| commit | c8bc8def3bede689e90c37de2e917a9150eb6cec (patch) | |
| tree | 39223e45f991f91eab943ac1314553e2781f920d /validation | |
| parent | d4920a58d9e84138b51804fb194fc3b3936a5030 (diff) | |
| download | sparse-dev-c8bc8def3bede689e90c37de2e917a9150eb6cec.tar.gz | |
big-shift: reuse simplify_asr() for LSR & SHL
During the simplification phase, ASR instructions are checked
and possibly simplified but LSR & SHL are not.
Rename simplify_asr() into simplify_shift() and do the check
& simplification for LSR & SHL too.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/shift-undef.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/validation/shift-undef.c b/validation/shift-undef.c index df1ac89e..4cd56b81 100644 --- a/validation/shift-undef.c +++ b/validation/shift-undef.c @@ -98,7 +98,11 @@ shift-undef.c:18:30: warning: shift too big (4294967289) for type int shift-undef.c:19:30: warning: shift too big (4294967288) for type unsigned int shift-undef.c:20:30: warning: shift too big (4294967287) for type unsigned int shift-undef.c:21:29: warning: right shift by bigger than source value +shift-undef.c:22:29: warning: right shift by bigger than source value +shift-undef.c:23:29: warning: right shift by bigger than source value shift-undef.c:24:29: warning: right shift by bigger than source value +shift-undef.c:25:29: warning: right shift by bigger than source value +shift-undef.c:26:29: warning: right shift by bigger than source value 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 @@ -118,6 +122,10 @@ shift-undef.c:47:30: warning: shift too big (4294967289) for type int shift-undef.c:48:30: warning: shift too big (4294967288) for type unsigned int shift-undef.c:49:30: warning: shift too big (4294967287) for type unsigned int shift-undef.c:50:26: warning: right shift by bigger than source value +shift-undef.c:51:26: warning: right shift by bigger than source value +shift-undef.c:52:26: warning: right shift by bigger than source value shift-undef.c:53:26: warning: right shift by bigger than source value +shift-undef.c:54:26: warning: right shift by bigger than source value +shift-undef.c:55:26: warning: right shift by bigger than source value * check-error-end */ |