Skip to content

Commit 8933db9

Browse files
willieyzmkannwischer
authored andcommitted
Fix macro typo: MLK_UNION_OR_STRUCT => MLD_UNION_OR_STRUCT
- This commit fixes a error cause by macro typo in .clang-format where MLK_UNION_OR_STRUCT should be MLD_UNION_OR_STRUCT. This typo was detected after extending the macro checker to catch wrongly ported MLK_XXX/MLKEM_XXX macros. Signed-off-by: willieyz <willie.zhao@chelpis.com>
1 parent d4554be commit 8933db9

File tree

4 files changed

+7
-7
lines changed

4 files changed

+7
-7
lines changed

mldsa/mldsa_native.S

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -247,7 +247,7 @@
247247
#undef MLD_NAMESPACE_KL
248248
#undef MLD_NAMESPACE_PREFIX
249249
#undef MLD_NAMESPACE_PREFIX_KL
250-
#undef MLK_UNION_OR_STRUCT
250+
#undef MLD_UNION_OR_STRUCT
251251
#undef mld_memcpy
252252
#undef mld_memset
253253
/* mldsa/src/packing.h */

mldsa/mldsa_native.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -243,7 +243,7 @@
243243
#undef MLD_NAMESPACE_KL
244244
#undef MLD_NAMESPACE_PREFIX
245245
#undef MLD_NAMESPACE_PREFIX_KL
246-
#undef MLK_UNION_OR_STRUCT
246+
#undef MLD_UNION_OR_STRUCT
247247
#undef mld_memcpy
248248
#undef mld_memset
249249
/* mldsa/src/packing.h */

mldsa/src/common.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -278,9 +278,9 @@
278278
* is resolved
279279
*/
280280
#if defined(MLD_CONFIG_REDUCE_RAM)
281-
#define MLK_UNION_OR_STRUCT union
281+
#define MLD_UNION_OR_STRUCT union
282282
#else
283-
#define MLK_UNION_OR_STRUCT struct
283+
#define MLD_UNION_OR_STRUCT struct
284284
#endif
285285

286286
/****************************** Error codes ***********************************/

mldsa/src/sign.c

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -587,7 +587,7 @@ __contract__(
587587
int ret;
588588
/* TODO: Remove the following workaround for
589589
* https://github.com/diffblue/cbmc/issues/8813 */
590-
typedef MLK_UNION_OR_STRUCT
590+
typedef MLD_UNION_OR_STRUCT
591591
{
592592
mld_polyvecl y;
593593
mld_polyveck h;
@@ -598,7 +598,7 @@ __contract__(
598598

599599
/* TODO: Remove the following workaround for
600600
* https://github.com/diffblue/cbmc/issues/8813 */
601-
typedef MLK_UNION_OR_STRUCT
601+
typedef MLD_UNION_OR_STRUCT
602602
{
603603
mld_polyveck w1;
604604
mld_polyvecl tmp;
@@ -984,7 +984,7 @@ int mld_sign_verify_internal(const uint8_t *sig, size_t siglen,
984984

985985
/* TODO: Remove the following workaround for
986986
* https://github.com/diffblue/cbmc/issues/8813 */
987-
typedef MLK_UNION_OR_STRUCT
987+
typedef MLD_UNION_OR_STRUCT
988988
{
989989
mld_polyveck t1;
990990
mld_polyveck w1;

0 commit comments

Comments
 (0)