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 <ariel.otilibili-ani...@eurecom.fr> -- Cc: Andrew Cooper <andrew.coop...@citrix.com> Cc: Anthony PERARD <anthony.per...@vates.tech> Cc: Michal Orzel <michal.or...@amd.com> Cc: Jan Beulich <jbeul...@suse.com> Cc: Julien Grall <jul...@xen.org> Cc: "Roger Pau Monné" <roger....@citrix.com> Cc: Stefano Stabellini <sstabell...@kernel.org> --- 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