Fix a warning on Windows builders

msprotz · msprotz · commit c6705301aa34 · 2023-01-31T09:06:25.000-08:00
diff --git a/Modules/sha256module.c b/Modules/sha256module.c
@@ -124,7 +124,9 @@ static void update_256(Hacl_Streaming_SHA2_state_sha2_256 *state, uint8_t *buf,
     len -= UINT32_MAX;
     buf += UINT32_MAX;
   }
-  Hacl_Streaming_SHA2_update_256(state, buf, len);
+  /* Cast to uint32_t is safe: upon exiting the loop, len <= UINT32_MAX, and
+   * therefore fits in a uint32_t */
+  Hacl_Streaming_SHA2_update_256(state, buf, (uint32_t) len);
 }
 
 

Original file line number	Diff line number	Diff line change
`@@ -124,7 +124,9 @@ static void update_256(Hacl_Streaming_SHA2_state_sha2_256 state, uint8_t buf,`
`124`	`124`	`len -= UINT32_MAX;`
`125`	`125`	`buf += UINT32_MAX;`
`126`	`126`	`}`
`127`		`- Hacl_Streaming_SHA2_update_256(state, buf, len);`
	`127`	`+ /* Cast to uint32_t is safe: upon exiting the loop, len <= UINT32_MAX, and`
	`128`	`+ * therefore fits in a uint32_t */`
	`129`	`+ Hacl_Streaming_SHA2_update_256(state, buf, (uint32_t) len);`
`128`	`130`	`}`
`129`	`131`
`130`	`132`