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

[Nicola Vetrini <nicola.vetrini@bugseng.com>]

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@bugseng.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"."

-- 
Nicola Vetrini, BSc
Software Engineer, BUGSENG srl (https://bugseng.com)