# See https://bugs.kde.org/show_bug.cgi?id=210481
Index: guest_amd64_toIR.c
===================================================================
--- VEX/priv/guest_amd64_toIR.c	(Revision 1924)
+++ VEX/priv/guest_amd64_toIR.c	(Arbeitskopie)
@@ -14597,7 +14597,7 @@
       /* There is no encoding for 32-bit pop in 64-bit mode.
          So sz==4 actually means sz==8. */
       if (haveF2orF3(pfx)) goto decode_failure;
-      vassert(sz == 2 || sz == 4);
+      vassert(sz == 2 || sz == 4 || sz == 8);
       if (sz == 4) sz = 8;
       if (sz != 8) goto decode_failure; // until we know a sz==2 test case exists