The ECLAIR service STD.emptrecd is being deprecated; hence, as a preventive measure, STD.anonstct is used here, which for Xen's purposes has equivalent functionality. This new service is already supported by the current version of ECLAIR.
No functional change. Signed-off-by: Nicola Vetrini <nicola.vetr...@bugseng.com> Acked-by: Julien Grall <jgr...@amazon.com> --- automation/eclair_analysis/ECLAIR/toolchain.ecl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/automation/eclair_analysis/ECLAIR/toolchain.ecl b/automation/eclair_analysis/ECLAIR/toolchain.ecl index 71a1e2cce029..86e9a79b5231 100644 --- a/automation/eclair_analysis/ECLAIR/toolchain.ecl +++ b/automation/eclair_analysis/ECLAIR/toolchain.ecl @@ -44,8 +44,8 @@ -doc_end -doc_begin="See Section \"6.19 Structures with No Members\" of "GCC_MANUAL"." --config=STD.emptrecd,behavior+={c99,GCC_ARM64,specified} --config=STD.emptrecd,behavior+={c99,GCC_X86_64,specified} +-config=STD.anonstct,behavior+={c99,GCC_ARM64,specified} +-config=STD.anonstct,behavior+={c99,GCC_X86_64,specified} -doc_end -doc_begin="See Section \"6.18 Arrays of Length Zero\" of "GCC_MANUAL"." -- 2.34.1