Mark Wielaard 536c35
diff --git a/memcheck/mc_translate.c b/memcheck/mc_translate.c
Mark Wielaard 536c35
index c24db91..1e770b3 100644
Mark Wielaard 536c35
--- a/memcheck/mc_translate.c
Mark Wielaard 536c35
+++ b/memcheck/mc_translate.c
Mark Wielaard 536c35
@@ -8022,6 +8022,7 @@ static inline void noteTmpUsesIn ( /*MOD*/HowUsed* useEnv,
Mark Wielaard 536c35
       use info. */
Mark Wielaard 536c35
    switch (at->tag) {
Mark Wielaard 536c35
       case Iex_GSPTR:
Mark Wielaard 536c35
+      case Iex_VECRET:
Mark Wielaard 536c35
       case Iex_Const:
Mark Wielaard 536c35
          return;
Mark Wielaard 536c35
       case Iex_RdTmp: {