From: Julian Seward <jseward@acm.org>
Date: Tue, 3 May 2011 07:51:49 +0000 (+0000)
Subject: Fix a nonsensical assertion observed by Florian Krohm.
X-Git-Tag: svn/VALGRIND_3_7_0^2~83
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=e04f1babee017235a90604e5b8e7dbc7cf6a92d9;p=thirdparty%2Fvalgrind.git

Fix a nonsensical assertion observed by Florian Krohm.


git-svn-id: svn://svn.valgrind.org/vex/trunk@2141
---

diff --git a/VEX/priv/host_amd64_isel.c b/VEX/priv/host_amd64_isel.c
index e0df02c229..1198cec506 100644
--- a/VEX/priv/host_amd64_isel.c
+++ b/VEX/priv/host_amd64_isel.c
@@ -863,7 +863,10 @@ static HReg iselIntExpr_R_wrk ( ISelEnv* env, IRExpr* e )
    DECLARE_PATTERN(p_LDle16_then_16Uto64);
 
    IRType ty = typeOfIRExpr(env->type_env,e);
-   vassert(ty == Ity_I32 || Ity_I16 || Ity_I8);
+   switch (ty) {
+      case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8: break;
+      default: vassert(0);
+   }
 
    switch (e->tag) {