[xen stable-4.18] automation/eclair_analysis: substitute deprecated service STD.emptrecd

[patchbot@xxxxxxx]

commit 246917d90a32c3386cd306d1910d7a7911e24fba
Author:     Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
AuthorDate: Mon Apr 22 15:12:47 2024 +0200
Commit:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
CommitDate: Tue Dec 17 17:33:40 2024 +0000

    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 <nicola.vetrini@xxxxxxxxxxx>
    Acked-by: Julien Grall <jgrall@xxxxxxxxxx>
    (cherry picked from commit 93d6e6efa8942fb068df799527f36be406fcd2bc)
---
 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 e6cd289b5e..e41b27291c 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"."
--
generated by git-patchbot for /home/xen/git/xen.git#stable-4.18