Update auto-generated files

Signed-off-by: Rod Chapman <[email protected]>

Author: rod-chapman

mldsa/src/native/aarch64/meta.h

@@ -77,7 +77,7 @@ static MLD_INLINE int mld_rej_uniform_eta2_native(int32_t *r, int len,
    */
   MLD_CT_TESTING_DECLASSIFY(buf, buflen);
   outlen = mld_rej_uniform_eta2_asm(r, buf, buflen, mld_rej_uniform_eta_table);
-  MLD_CT_TESTING_SECRET(r, sizeof(int32_t) * outlen);
+  MLD_CT_TESTING_SECRET(r, sizeof(int32_t) * (size_t)outlen);
   /* Safety: outlen is at most MLDSA_N and, hence, this cast is safe. */
   return (int)outlen;
 }
@@ -101,7 +101,7 @@ static MLD_INLINE int mld_rej_uniform_eta4_native(int32_t *r, int len,
    */
   MLD_CT_TESTING_DECLASSIFY(buf, buflen);
   outlen = mld_rej_uniform_eta4_asm(r, buf, buflen, mld_rej_uniform_eta_table);
-  MLD_CT_TESTING_SECRET(r, sizeof(int32_t) * outlen);
+  MLD_CT_TESTING_SECRET(r, sizeof(int32_t) * (size_t)outlen);
   /* Safety: outlen is at most MLDSA_N and, hence, this cast is safe. */
   return (int)outlen;
 }

mldsa/src/native/x86_64/meta.h

@@ -82,7 +82,7 @@ static MLD_INLINE int mld_rej_uniform_eta2_native(int32_t *r, int len,
    */
   MLD_CT_TESTING_DECLASSIFY(buf, buflen);
   outlen = mld_rej_uniform_eta2_avx2(r, buf);
-  MLD_CT_TESTING_SECRET(r, sizeof(int32_t) * outlen);
+  MLD_CT_TESTING_SECRET(r, sizeof(int32_t) * (size_t)outlen);
   /* Safety: outlen is at most MLDSA_N and, hence, this cast is safe. */
   return (int)outlen;
 }
@@ -107,7 +107,7 @@ static MLD_INLINE int mld_rej_uniform_eta4_native(int32_t *r, int len,
    */
   MLD_CT_TESTING_DECLASSIFY(buf, buflen);
   outlen = mld_rej_uniform_eta4_avx2(r, buf);
-  MLD_CT_TESTING_SECRET(r, sizeof(int32_t) * outlen);
+  MLD_CT_TESTING_SECRET(r, sizeof(int32_t) * (size_t)outlen);
   /* Safety: outlen is at most MLDSA_N and, hence, this cast is safe. */
   return (int)outlen;
 }