From: Julian Seward <jseward@acm.org>
Date: Fri, 4 Feb 2005 21:14:52 +0000 (+0000)
Subject: Fix bogus assertion.  (How long has that been there?)
X-Git-Tag: svn/VALGRIND_3_0_1^2~493
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e0154ca0a10b5356ea82c1d7951858f118a732b2;p=thirdparty%2Fvalgrind.git

Fix bogus assertion.  (How long has that been there?)


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

diff --git a/VEX/priv/host-x86/isel.c b/VEX/priv/host-x86/isel.c
index 1f5f2f9c14..26cbd18700 100644
--- a/VEX/priv/host-x86/isel.c
+++ b/VEX/priv/host-x86/isel.c
@@ -724,7 +724,7 @@ static HReg iselIntExpr_R_wrk ( ISelEnv* env, IRExpr* e )
    DECLARE_PATTERN(p_32to1_then_1Uto8);
 
    IRType ty = typeOfIRExpr(env->type_env,e);
-   vassert(ty == Ity_I32 || Ity_I16 || Ity_I8);
+   vassert(ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8);
 
    switch (e->tag) {
 
@@ -1181,7 +1181,7 @@ static HReg iselIntExpr_R_wrk ( ISelEnv* env, IRExpr* e )
    /* --------- CCALL --------- */
    case Iex_CCall: {
       HReg    dst = newVRegI(env);
-      vassert(ty == Ity_I32);
+      vassert(ty == e->Iex.CCall.retty);
 
       /* be very restrictive for now.  Only 32/64-bit ints allowed
          for args, and 32 bits for return type. */