remove incorrect assertion

Author: picnixz

Modules/blake2module.c

@@ -415,7 +415,7 @@ new_Blake2Object(PyTypeObject *type)
 #define HACL_UPDATE(UPDATE_FUNC, STATE, BUF, LEN)               \
     do {                                                        \
         HACL_UPDATE_LOOP(UPDATE_FUNC, STATE, BUF, LEN);         \
-        assert((Py_ssize_t)(LEN) <= (Py_ssize_t)UINT32_MAX);    \
+        /* cast to uint32_t is now safe */                      \
         (void)UPDATE_FUNC(STATE, BUF, (uint32_t)LEN);           \
     } while (0)
 

Modules/md5module.c

@@ -193,7 +193,7 @@ update(Hacl_Hash_MD5_state_t *state, uint8_t *buf, Py_ssize_t len)
         buf += UINT32_MAX;
     }
 #endif
-    assert(len <= (Py_ssize_t)UINT32_MAX);
+    /* cast to uint32_t is now safe */
     (void)Hacl_Hash_MD5_update(state, buf, (uint32_t)len);
 }
 

Modules/sha1module.c

@@ -186,7 +186,7 @@ update(Hacl_Hash_SHA1_state_t *state, uint8_t *buf, Py_ssize_t len)
         buf += UINT32_MAX;
     }
 #endif
-    assert(len <= (Py_ssize_t)UINT32_MAX);
+    /* cast to uint32_t is now safe */
     (void)Hacl_Hash_SHA1_update(state, buf, (uint32_t)len);
 }
 

Modules/sha2module.c

@@ -214,7 +214,7 @@ update_256(Hacl_Hash_SHA2_state_t_256 *state, uint8_t *buf, Py_ssize_t len)
         buf += UINT32_MAX;
     }
 #endif
-    assert(len <= (Py_ssize_t)UINT32_MAX);
+    /* cast to uint32_t is now safe */
     (void)Hacl_Hash_SHA2_update_256(state, buf, (uint32_t)len);
 }
 
@@ -233,7 +233,7 @@ update_512(Hacl_Hash_SHA2_state_t_512 *state, uint8_t *buf, Py_ssize_t len)
         buf += UINT32_MAX;
     }
 #endif
-    assert(len <= (Py_ssize_t)UINT32_MAX);
+    /* cast to uint32_t is now safe */
     (void)Hacl_Hash_SHA2_update_512(state, buf, (uint32_t)len);
 }
 

Modules/sha3module.c

@@ -98,7 +98,7 @@ sha3_update(Hacl_Hash_SHA3_state_t *state, uint8_t *buf, Py_ssize_t len)
         buf += UINT32_MAX;
     }
 #endif
-    assert(len <= (Py_ssize_t)UINT32_MAX);
+    /* cast to uint32_t is now safe */
     (void)Hacl_Hash_SHA3_update(state, buf, (uint32_t)len);
 }