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 <[email protected]>
Reviewed-by: Stefano Stabellini <[email protected]>
> --
> Cc: Andrew Cooper <[email protected]>
> Cc: Anthony PERARD <[email protected]>
> Cc: Michal Orzel <[email protected]>
> Cc: Jan Beulich <[email protected]>
> Cc: Julien Grall <[email protected]>
> Cc: "Roger Pau Monné" <[email protected]>
> Cc: Stefano Stabellini <[email protected]>
> ---
> xen/common/gzip/inflate.c | 2 --
> 1 file changed, 2 deletions(-)
>
> diff --git a/xen/common/gzip/inflate.c b/xen/common/gzip/inflate.c
> index b9a2d7a23a..cb146555c8 100644
> --- a/xen/common/gzip/inflate.c
> +++ b/xen/common/gzip/inflate.c
> @@ -1164,8 +1164,6 @@ static int __init gunzip(struct gunzip_state *s)
> if ( (res = inflate(s)) )
> {
> switch (res) {
> - case 0:
> - break;
> case 1:
> error("invalid compressed format (err=1)");
> break;
> --
> 2.47.1
>
