diff options
author | Kulikov Vasiliy <segooon@gmail.com> | 2010-07-17 01:21:00 -0400 |
---|---|---|
committer | David S. Miller <davem@davemloft.net> | 2010-07-18 18:07:14 -0400 |
commit | 8e64159dfb480b30233d947d5a3cd793dfea738f (patch) | |
tree | 81e564d8f12fe7c8a7b9819572a1f1787c1d224e /net/dccp/ackvec.c | |
parent | bfc978fa5f3005e5dfb39c52393c3339f4f00233 (diff) |
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 <segooon@gmail.com>
Signed-off-by: David S. Miller <davem@davemloft.net>
Diffstat (limited to 'net/dccp/ackvec.c')
-rw-r--r-- | net/dccp/ackvec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/net/dccp/ackvec.c b/net/dccp/ackvec.c index 2abddee48304..92a6fcb40d7d 100644 --- a/net/dccp/ackvec.c +++ b/net/dccp/ackvec.c | |||
@@ -201,7 +201,7 @@ static inline int dccp_ackvec_set_buf_head_state(struct dccp_ackvec *av, | |||
201 | const unsigned int packets, | 201 | const unsigned int packets, |
202 | const unsigned char state) | 202 | const unsigned char state) |
203 | { | 203 | { |
204 | unsigned int gap; | 204 | long gap; |
205 | long new_head; | 205 | long new_head; |
206 | 206 | ||
207 | if (av->av_vec_len + packets > DCCP_MAX_ACKVEC_LEN) | 207 | if (av->av_vec_len + packets > DCCP_MAX_ACKVEC_LEN) |