diff options
| author | Kulikov Vasiliy <[email protected]> | 2010-07-17 05:21:00 +0000 |
|---|---|---|
| committer | David S. Miller <[email protected]> | 2010-07-18 22:07:14 +0000 |
| commit | 8e64159dfb480b30233d947d5a3cd793dfea738f (patch) | |
| tree | 81e564d8f12fe7c8a7b9819572a1f1787c1d224e /net/core/utils.c | |
| parent | qlcnic: fix pci resource leak (diff) | |
| download | kernel-8e64159dfb480b30233d947d5a3cd793dfea738f.tar.gz kernel-8e64159dfb480b30233d947d5a3cd793dfea738f.zip | |
net: dccp: fix sign bug
'gap' is unsigned, so this code is wrong:
gap = -new_head;
...
if (gap > 0) { ... }
Make 'gap' signed.
The semantic patch that finds this problem (many false-positive results):
(http://coccinelle.lip6.fr/)
// <smpl>
@ r1 @
identifier f;
@@
int f(...) { ... }
@@
identifier r1.f;
type T;
unsigned T x;
@@
*x = f(...)
...
*x > 0
Signed-off-by: Kulikov Vasiliy <[email protected]>
Signed-off-by: David S. Miller <[email protected]>
Diffstat (limited to 'net/core/utils.c')
0 files changed, 0 insertions, 0 deletions