]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Unreachable default case should vassert.
authorFlorian Krohm <florian@eich-krohm.de>
Wed, 23 Jan 2013 17:17:22 +0000 (17:17 +0000)
committerFlorian Krohm <florian@eich-krohm.de>
Wed, 23 Jan 2013 17:17:22 +0000 (17:17 +0000)
git-svn-id: svn://svn.valgrind.org/vex/trunk@2653

VEX/priv/guest_arm_toIR.c

index 293c8b283c58091c21e7aa9a098c4cb7f41b9ccd..4f8390dede63064e4b46074c3ca1ecbf0ac6216b 100644 (file)
@@ -13052,9 +13052,8 @@ DisResult disInstr_ARM_WRK (
             goto decode_success;
          }
 
-         /* --------- ??? --------- */
          default:
-            break;
+            vassert(0);
       }
    } /* if (0 == (INSN(27,20) & BITS8(1,1,0,0,0,0,0,0)) */