Re: [PATCH 1/1] xen/common: Remove dead code

2025-01-10 Thread Ariel Otilibili-Anieli
Hi Stefano, On Thursday, January 02, 2025 18:08 CET, Stefano Stabellini wrote: > On Thu, 19 Dec 2024, Ariel Otilibili wrote: > > Reviewed-by: Stefano Stabellini > > Thanks for having looked into the patch; sorry for the late response, I have had limited access to my mailbox. I will follow

Re: [PATCH 1/1] xen/common: Remove dead code

2025-01-02 Thread Stefano Stabellini
On Thu, 19 Dec 2024, Ariel Otilibili wrote: > The if-statement tests `res` is non-zero; meaning the case zero is never > reached. > > Coverity-ID: 1055253 > Fixes: e2b1ebf4de ("x86: Support booting a bzImage format domain 0 kernel.") > Signed-off-by: Ariel Otilibili Reviewed-by: Stefano Stabell

Re: [PATCH 1/1] xen/common: Remove dead code

2024-12-19 Thread Ariel Otilibili-Anieli
On Thursday, December 19, 2024 10:10 CET, "Ariel Otilibili-Anieli" wrote: > On Thursday, December 19, 2024 09:32 CET, Jan Beulich > wrote: > > > On 19.12.2024 00:34, Ariel Otilibili wrote: > > > The if-statement tests `res` is non-zero; meaning the case zero is never > > > reached. > > > >

Re: [PATCH 1/1] xen/common: Remove dead code

2024-12-19 Thread Ariel Otilibili-Anieli
On Thursday, December 19, 2024 09:32 CET, Jan Beulich wrote: > On 19.12.2024 00:34, Ariel Otilibili wrote: > > The if-statement tests `res` is non-zero; meaning the case zero is never > > reached. > > > > Coverity-ID: 1055253 > > Fixes: e2b1ebf4de ("x86: Support booting a bzImage format domain

Re: [PATCH 1/1] xen/common: Remove dead code

2024-12-19 Thread Jan Beulich
On 19.12.2024 00:34, Ariel Otilibili wrote: > The if-statement tests `res` is non-zero; meaning the case zero is never > reached. > > Coverity-ID: 1055253 > Fixes: e2b1ebf4de ("x86: Support booting a bzImage format domain 0 kernel.") > Signed-off-by: Ariel Otilibili I certainly agree with the c

[PATCH 1/1] xen/common: Remove dead code

2024-12-18 Thread Ariel Otilibili
The if-statement tests `res` is non-zero; meaning the case zero is never reached. Coverity-ID: 1055253 Fixes: e2b1ebf4de ("x86: Support booting a bzImage format domain 0 kernel.") Signed-off-by: Ariel Otilibili -- Cc: Andrew Cooper Cc: Anthony PERARD Cc: Michal Orzel Cc: Jan Beulich Cc: Juli