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]>
--
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


Reply via email to