From: Brett Cannon <brett@python.org>
Date: Tue, 7 Jun 2011 03:22:56 +0000 (-0700)
Subject: Checking if an unsigned long is < 0 is pointless.
X-Git-Tag: v3.3.0a1~2163
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=5fac8af22ce0fc18c19d02e4f08eaba144b77d07;p=python

Checking if an unsigned long is < 0 is pointless.

Found by LLVM/clang 2.9.
---

diff --git a/Modules/mmapmodule.c b/Modules/mmapmodule.c
index 36ca67d3c1..38f6157768 100644
--- a/Modules/mmapmodule.c
+++ b/Modules/mmapmodule.c
@@ -645,9 +645,9 @@ mmap_move_method(mmap_object *self, PyObject *args)
         return NULL;
     } else {
         /* bounds check the values */
-        if (cnt < 0 || (cnt + dest) < cnt || (cnt + src) < cnt ||
-           src < 0 || src > self->size || (src + cnt) > self->size ||
-           dest < 0 || dest > self->size || (dest + cnt) > self->size) {
+        if ((cnt + dest) < cnt || (cnt + src) < cnt ||
+           src > self->size || (src + cnt) > self->size ||
+           dest > self->size || (dest + cnt) > self->size) {
             PyErr_SetString(PyExc_ValueError,
                 "source, destination, or count out of range");
             return NULL;