autogen: Use MLD_XXX instead of MLD_SRC_XXX as header guard in mldsa/src

Signed-off-by: Hanno Becker <[email protected]>

Author: hanno-becker

mldsa/src/cbmc.h

@@ -3,8 +3,8 @@
  * SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
  */
 
-#ifndef MLD_SRC_CBMC_H
-#define MLD_SRC_CBMC_H
+#ifndef MLD_CBMC_H
+#define MLD_CBMC_H
 /***************************************************
  * Basic replacements for __CPROVER_XXX contracts
  ***************************************************/
@@ -142,4 +142,4 @@
 
 #endif /* CBMC */
 
-#endif /* !MLD_SRC_CBMC_H */
+#endif /* !MLD_CBMC_H */

mldsa/src/common.h

@@ -12,8 +12,8 @@
  *   https://csrc.nist.gov/pubs/fips/204/final
  */
 
-#ifndef MLD_SRC_COMMON_H
-#define MLD_SRC_COMMON_H
+#ifndef MLD_COMMON_H
+#define MLD_COMMON_H
 
 #if defined(MLD_CONFIG_FILE)
 #include MLD_CONFIG_FILE
@@ -185,4 +185,4 @@ static MLD_INLINE void mld_zeroize(void *ptr, size_t len)
 
 
 
-#endif /* !MLD_SRC_COMMON_H */
+#endif /* !MLD_COMMON_H */

mldsa/src/config.h

@@ -17,8 +17,8 @@
  *   https://csrc.nist.gov/pubs/fips/204/final
  */
 
-#ifndef MLD_SRC_CONFIG_H
-#define MLD_SRC_CONFIG_H
+#ifndef MLD_CONFIG_H
+#define MLD_CONFIG_H
 
 /******************************************************************************
  * Name:        MLD_CONFIG_PARAMETER_SET
@@ -436,4 +436,4 @@
 #define MLD_DEFAULT_NAMESPACE_PREFIX PQCP_MLDSA_NATIVE_MLDSA87
 #endif
 
-#endif /* !MLD_SRC_CONFIG_H */
+#endif /* !MLD_CONFIG_H */

mldsa/src/ct.h

@@ -18,8 +18,8 @@
  *   https://groups.google.com/a/list.nist.gov/g/pqc-forum/c/hqbtIGFKIpU/m/H14H0wOlBgAJ
  */
 
-#ifndef MLD_SRC_CT_H
-#define MLD_SRC_CT_H
+#ifndef MLD_CT_H
+#define MLD_CT_H
 
 #include <stdint.h>
 #include "cbmc.h"
@@ -233,4 +233,4 @@ __contract__(
 }
 
 
-#endif /* !MLD_SRC_CT_H */
+#endif /* !MLD_CT_H */

mldsa/src/debug.h

@@ -3,8 +3,8 @@
  * Copyright (c) The mldsa-native project authors
  * SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
  */
-#ifndef MLD_SRC_DEBUG_H
-#define MLD_SRC_DEBUG_H
+#ifndef MLD_DEBUG_H
+#define MLD_DEBUG_H
 #include "common.h"
 
 #if defined(MLDSA_DEBUG)
@@ -128,4 +128,4 @@ void mld_debug_check_bounds(const char *file, int line, const int32_t *ptr,
 
 
 #endif /* !MLDSA_DEBUG && !CBMC */
-#endif /* !MLD_SRC_DEBUG_H */
+#endif /* !MLD_DEBUG_H */

mldsa/src/fips202/fips202.h

@@ -2,8 +2,8 @@
  * Copyright (c) The mldsa-native project authors
  * SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
  */
-#ifndef MLD_SRC_FIPS202_FIPS202_H
-#define MLD_SRC_FIPS202_FIPS202_H
+#ifndef MLD_FIPS202_FIPS202_H
+#define MLD_FIPS202_FIPS202_H
 
 #include <stddef.h>
 #include <stdint.h>
@@ -231,4 +231,4 @@ __contract__(
   assigns(memory_slice(out, outlen))
 );
 
-#endif /* !MLD_SRC_FIPS202_FIPS202_H */
+#endif /* !MLD_FIPS202_FIPS202_H */

mldsa/src/fips202/fips202x4.h

@@ -3,8 +3,8 @@
  * Copyright (c) The mldsa-native project authors
  * SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
  */
-#ifndef MLD_SRC_FIPS202_FIPS202X4_H
-#define MLD_SRC_FIPS202_FIPS202X4_H
+#ifndef MLD_FIPS202_FIPS202X4_H
+#define MLD_FIPS202_FIPS202X4_H
 
 #include <stddef.h>
 #include <stdint.h>
@@ -104,4 +104,4 @@ void mld_shake256x4_init(mld_shake256x4ctx *state);
 void mld_shake256x4_release(mld_shake256x4ctx *state);
 
 
-#endif /* !MLD_SRC_FIPS202_FIPS202X4_H */
+#endif /* !MLD_FIPS202_FIPS202X4_H */

mldsa/src/fips202/keccakf1600.h

@@ -3,8 +3,8 @@
  * Copyright (c) The mldsa-native project authors
  * SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
  */
-#ifndef MLD_SRC_FIPS202_KECCAKF1600_H
-#define MLD_SRC_FIPS202_KECCAKF1600_H
+#ifndef MLD_FIPS202_KECCAKF1600_H
+#define MLD_FIPS202_KECCAKF1600_H
 #include <stdint.h>
 #include "../cbmc.h"
 #include "../common.h"
@@ -98,4 +98,4 @@ __contract__(
     assigns(memory_slice(state, sizeof(uint64_t) * MLD_KECCAK_LANES))
 );
 
-#endif /* !MLD_SRC_FIPS202_KECCAKF1600_H */
+#endif /* !MLD_FIPS202_KECCAKF1600_H */

mldsa/src/fips202/native/aarch64/auto.h

@@ -13,8 +13,8 @@
  *   https://eprint.iacr.org/2022/1243
  */
 
-#ifndef MLD_SRC_FIPS202_NATIVE_AARCH64_AUTO_H
-#define MLD_SRC_FIPS202_NATIVE_AARCH64_AUTO_H
+#ifndef MLD_FIPS202_NATIVE_AARCH64_AUTO_H
+#define MLD_FIPS202_NATIVE_AARCH64_AUTO_H
 /* Default FIPS202 assembly profile for AArch64 systems */
 
 /*
@@ -68,4 +68,4 @@
 
 #endif /* !__ARM_FEATURE_SHA3 */
 
-#endif /* !MLD_SRC_FIPS202_NATIVE_AARCH64_AUTO_H */
+#endif /* !MLD_FIPS202_NATIVE_AARCH64_AUTO_H */

mldsa/src/fips202/native/aarch64/src/fips202_native_aarch64.h

@@ -3,8 +3,8 @@
  * Copyright (c) The mldsa-native project authors
  * SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
  */
-#ifndef MLD_SRC_FIPS202_NATIVE_AARCH64_SRC_FIPS202_NATIVE_AARCH64_H
-#define MLD_SRC_FIPS202_NATIVE_AARCH64_SRC_FIPS202_NATIVE_AARCH64_H
+#ifndef MLD_FIPS202_NATIVE_AARCH64_SRC_FIPS202_NATIVE_AARCH64_H
+#define MLD_FIPS202_NATIVE_AARCH64_SRC_FIPS202_NATIVE_AARCH64_H
 
 #include <stdint.h>
 #include "../../../../cbmc.h"
@@ -59,4 +59,4 @@ __contract__(
   assigns(memory_slice(state, sizeof(uint64_t) * 25 * 4))
 );
 
-#endif /* !MLD_SRC_FIPS202_NATIVE_AARCH64_SRC_FIPS202_NATIVE_AARCH64_H */
+#endif /* !MLD_FIPS202_NATIVE_AARCH64_SRC_FIPS202_NATIVE_AARCH64_H */