deltaIRExpr cannot handle Iex_VECRET and Iex_BBPTR and

needs to be guarded.

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

diff --git a/VEX/priv/ir_opt.c b/VEX/priv/ir_opt.c
index 5982495e9441b635905afdb4c2735e9388ed336e..b36c2d5a4c78a9e5234ee9614cd22cc9efddb5ad 100644 (file)
--- a/VEX/priv/ir_opt.c
+++ b/VEX/priv/ir_opt.c
@@ -4457,8 +4457,11 @@ static void deltaIRStmt ( IRStmt* st, Int delta )
       case Ist_Dirty:
          d = st->Ist.Dirty.details;
          deltaIRExpr(d->guard, delta);
-         for (i = 0; d->args[i]; i++)
-            deltaIRExpr(d->args[i], delta);
+         for (i = 0; d->args[i]; i++) {
+            IRExpr* arg = d->args[i];
+            if (LIKELY(!is_IRExpr_VECRET_or_BBPTR(arg)))
+               deltaIRExpr(arg, delta);
+         }
          if (d->tmp != IRTemp_INVALID)
             d->tmp += delta;
          if (d->mAddr)