From: Julian Seward <jseward@acm.org>
Date: Sat, 11 Oct 2014 13:54:52 +0000 (+0000)
Subject: Handle (by ignoring) Imbe_CancelReservation.  Detected by Florian
X-Git-Tag: svn/VALGRIND_3_11_0~928
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2476b8ff758733b4563eef4f2c23e7ade7f741c9;p=thirdparty%2Fvalgrind.git

Handle (by ignoring) Imbe_CancelReservation.  Detected by Florian
Krohm when compiling with -Wswitch-enum.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14618
---

diff --git a/helgrind/hg_main.c b/helgrind/hg_main.c
index d346fb9f53..d1b72d0d0e 100644
--- a/helgrind/hg_main.c
+++ b/helgrind/hg_main.c
@@ -4558,6 +4558,7 @@ IRSB* hg_instrument ( VgCallbackClosure* closure,
          case Ist_MBE:
             switch (st->Ist.MBE.event) {
                case Imbe_Fence:
+               case Imbe_CancelReservation:
                   break; /* not interesting */
                default:
                   goto unhandled;