Re: [XEN PATCH] automation/eclair_analysis: substitute deprecated service

[Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>]

On 2024-04-17 16:57, Julien Grall wrote:
> Hi Nicola,
>
> On 17/04/2024 15:51, Nicola Vetrini wrote:
> > The service STD.emptrecd is in the process of being removed in favour
> > of STD.anonstct.
> I am guessing this is not a new feature and the current ECLAIR version 
> is supporting it?
> Cheers,
Yes, it was just an oversight to leave the old emptrcd there. It will 
eventually be phased out in the next release.
> > No functional change.
> >
> > Signed-off-by: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
> > ---
> >   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"."
--
Nicola Vetrini, BSc
Software Engineer, BUGSENG srl (https://bugseng.com)