diff --git a/memcheck/mc_translate.c b/memcheck/mc_translate.c index 46f870672..f28ca2bf7 100644 --- a/memcheck/mc_translate.c +++ b/memcheck/mc_translate.c @@ -1986,6 +1986,10 @@ IRAtom* expr2vbits_Binop ( MCEnv* mce, case Iop_DivU32: return mkLazy2(mce, Ity_I32, vatom1, vatom2); + case Iop_DivS64: + case Iop_DivU64: + return mkLazy2(mce, Ity_I64, vatom1, vatom2); + case Iop_Add32: if (mce->bogusLiterals) return expensiveAddSub(mce,True,Ity_I32,