commit 2accb5e847cb35149c673e0eefc21baaa723a967
author florian <florian@8f6e269a-dfd6-0310-a8e1-e2731360e62c> Tue Sep 03 21:48:02 2013 +0000
committer florian <florian@8f6e269a-dfd6-0310-a8e1-e2731360e62c> Tue Sep 03 21:48:02 2013 +0000
tree 7f0fb0a354e1c2cee14f31bb808041bccfb9cf9e
parent e3a103fe973cc86c5924611fa03a0e3fbe7cfd39

deltaIRExpr cannot handle Iex_VECRET and Iex_BBPTR and
needs to be guarded.


git-svn-id: svn://svn.valgrind.org/vex/trunk@2750 8f6e269a-dfd6-0310-a8e1-e2731360e62c

priv/ir_opt.c

diff --git a/priv/ir_opt.c b/priv/ir_opt.c
index 5982495..b36c2d5 100644
--- a/priv/ir_opt.c
+++ b/priv/ir_opt.c
@@ -4457,8 +4457,11 @@
       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)