From: Nicola Vetrini Date: Mon, 22 Apr 2024 13:12:47 +0000 (+0200) Subject: automation/eclair_analysis: substitute deprecated service STD.emptrecd X-Git-Tag: 4.19.0-rc1~326 X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=93d6e6efa8942fb068df799527f36be406fcd2bc;p=xen.git automation/eclair_analysis: substitute deprecated service STD.emptrecd The ECLAIR service STD.emptrecd (which checks for empty structures) is being deprecated; hence, as a preventive measure, STD.anonstct (which checks for structures with no named members, an UB in C99) is used here; the latter being a more general case than the previous one, this change does not affect the analysis. This new service is already supported by the current version of ECLAIR. No functional change. Signed-off-by: Nicola Vetrini Acked-by: Julien Grall --- diff --git a/automation/eclair_analysis/ECLAIR/toolchain.ecl b/automation/eclair_analysis/ECLAIR/toolchain.ecl index 71a1e2cce0..86e9a79b52 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"."