x86/emulate: Resolve MISSING_BREAK issue in x86_decode()
authorAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 30 Sep 2016 10:01:04 +0000 (11:01 +0100)
committerWei Liu <wei.liu2@citrix.com>
Fri, 30 Sep 2016 11:17:01 +0000 (12:17 +0100)
Coverity doesn't appear to be able to spot that this is a terminal error path,
but leave a comment to "fix" MISSING_BREAK.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/x86_emulate/x86_emulate.c

index 78b23a0caf54362680865ee48db5809472dfc2e4..32e8b698df07c8fb568f2681c805557c693bdb13 100644 (file)
@@ -1891,7 +1891,7 @@ x86_decode(
             switch ( def_ad_bytes )
             {
             default:
-                BUG();
+                BUG(); /* Shouldn't be possible. */
             case 2:
                 if ( in_realmode(ctxt, ops) || (state->regs->eflags & EFLG_VM) )
                     break;