| commit | 9176e697f11cf72d393439f0797e2d63a4e915db | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 20 May 2013 21:50:45 +0000 (21 00:50 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 20 May 2013 21:50:45 +0000 (21 00:50 +0300) | ||
| tree | 4dc4cffa0c3128d1a19e72f4c666bf285f799feb | treesnapshot (tar.gz zip) |
| parent | 1cbc2b2f0b2110a85032c24a876e7c2092ce37ab | commitdiff |
math: introduce new handle_subtract_rl()
The original handle_subtract() was pretty rubbish. I can't swear that this
new totally re-written one is better, but at least it's cleaner and a step
in the right direction.
I changed a validation test. The original version said used "s32max - 1"
and the new version says s32max. Because really "s32max - 1" is not a
useful distinction in this case.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The original handle_subtract() was pretty rubbish. I can't swear that this
new totally re-written one is better, but at least it's cleaner and a step
in the right direction.
I changed a validation test. The original version said used "s32max - 1"
and the new version says s32max. Because really "s32max - 1" is not a
useful distinction in this case.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_math.c | diffblobblamehistory | |
| smatch_sval.c | diffblobblamehistory | |
| validation/sm_compare3.c | diffblobblamehistory |