tree 6402222106d1ec35e8a55121dd084041aff030d0
parent dd06b4989f86c47bc7f877068d51d66a131fefd4
author Gilles Peskine <Gilles.Peskine@arm.com> 1768501553 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1768501887 +0100

check_names: Allow mldsa-native symbols to be undeclared

The mldsa-native and mlkem-native headers use preprocessor tricks to
construct identifiers. We can't recognize those. So f a symbol found in the
binary is in the expected sub-namespace for those parts of the library,
allow it to be undeclared.

Make the exception general enough for mldsa-native (needed now) and
mlkem-native (needed soon).

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>