Hi,

I have done a NMU to fix this issue blocking the migration of many
packages to testing. Please find the debdiff attached.

Regards
Aurelien

-- 
Aurelien Jarno                          GPG: 4096R/1DDD8C9B
aurel...@aurel32.net                     http://aurel32.net
diff -Nru valgrind-3.20.0/debian/changelog valgrind-3.20.0/debian/changelog
--- valgrind-3.20.0/debian/changelog    2023-12-01 12:53:02.000000000 +0100
+++ valgrind-3.20.0/debian/changelog    2024-01-02 13:09:38.000000000 +0100
@@ -1,3 +1,11 @@
+valgrind (1:3.20.0-2.1) unstable; urgency=medium
+
+  * Non-maintainer upload.
+  * Apply fix from upstream to add support for new x86 nops patterns.  Closes
+    #1057693.
+
+ -- Aurelien Jarno <aure...@debian.org>  Tue, 02 Jan 2024 12:09:38 +0000
+
 valgrind (1:3.20.0-2) unstable; urgency=medium
 
   * [armhf] default.supp: add suppression for memory accesses below the stack
diff -Nru valgrind-3.20.0/debian/patches/14-x86-new-nops.patch 
valgrind-3.20.0/debian/patches/14-x86-new-nops.patch
--- valgrind-3.20.0/debian/patches/14-x86-new-nops.patch        1970-01-01 
01:00:00.000000000 +0100
+++ valgrind-3.20.0/debian/patches/14-x86-new-nops.patch        2024-01-02 
11:53:58.000000000 +0100
@@ -0,0 +1,123 @@
+From: Paul Floyd <pjfl...@wanadoo.fr>
+Date: Sun, 17 Dec 2023 13:18:51 +0000 (+0100)
+Subject: Bug 478624 - Valgrind incompatibility with binutils-2.42 on x86 with 
new nop patterns... 
+X-Git-Url: 
https://sourceware.org/git/?p=valgrind.git;a=commitdiff_plain;h=d35005cef8ad8207542738812705ceabf137d7e0
+
+Bug 478624 - Valgrind incompatibility with binutils-2.42 on x86 with new nop 
patterns (unhandled instruction bytes: 0x2E 0x8D 0xB4 0x26)
+
+It was a bit of a struggle to get the testcase to build
+with both clang and gcc (oddly enough gcc was more difficult) so
+I just resorted to using .byte arrays.
+---
+
+diff --git a/VEX/priv/guest_x86_toIR.c b/VEX/priv/guest_x86_toIR.c
+index 5d6e6dc64f..3b6efb3873 100644
+--- a/VEX/priv/guest_x86_toIR.c
++++ b/VEX/priv/guest_x86_toIR.c
+@@ -8198,7 +8198,7 @@ DisResult disInstr_X86_WRK (
+          delta += 5;
+          goto decode_success;
+       }
+-      /* Don't barf on recent binutils padding,
++      /* Don't barf on recent (2010) binutils padding,
+          all variants of which are: nopw %cs:0x0(%eax,%eax,1)
+          66 2e 0f 1f 84 00 00 00 00 00
+          66 66 2e 0f 1f 84 00 00 00 00 00
+@@ -8223,6 +8223,26 @@ DisResult disInstr_X86_WRK (
+          }
+       }
+ 
++      /* bug478624 GNU binutils uses a leal of esi into itself with
++         a zero offset and CS prefix as an 8 byte no-op (Dec 2023).
++         Since the CS prefix is hardly ever used we don't do much
++         to decode it, just a few cases for conditional branches.
++         So add handling here with other pseudo-no-ops.
++       */
++      if (code[0] == 0x2E && code[1] == 0x8D) {
++         if (code[2] == 0x74 && code[3] == 0x26 && code[4] == 0x00) {
++            DIP("leal %%cs:0(%%esi,%%eiz,1),%%esi\n");
++            delta += 5;
++            goto decode_success;
++         }
++         if (code[2] == 0xB4 && code[3] == 0x26 && code[4] == 0x00
++             && code[5] == 0x00 && code[6] == 0x00 && code[7] == 0x00) {
++            DIP("leal %%cs:0(%%esi,%%eiz,1),%%esi\n");
++            delta += 8;
++            goto decode_success;
++         }
++      }
++
+       // Intel CET requires the following opcodes to be treated as NOPs
+       // with any prefix and ModRM, SIB and disp combination:
+       // "0F 19", "0F 1C", "0F 1D", "0F 1E", "0F 1F"
+diff --git a/none/tests/x86/Makefile.am b/none/tests/x86/Makefile.am
+index 3ecd1ad3c2..dbae865712 100644
+--- a/none/tests/x86/Makefile.am
++++ b/none/tests/x86/Makefile.am
+@@ -52,6 +52,7 @@ EXTRA_DIST = \
+       fxtract.stdout.exp fxtract.stderr.exp fxtract.vgtest \
+       fxtract.stdout.exp-older-glibc \
+       getseg.stdout.exp getseg.stderr.exp getseg.vgtest \
++      gnu_binutils_nop.stderr.exp gnu_binutils_nop.vgtest \
+       incdec_alt.stdout.exp incdec_alt.stderr.exp incdec_alt.vgtest \
+       int.stderr.exp int.stdout.exp int.disabled \
+       $(addsuffix .stderr.exp,$(INSN_TESTS)) \
+@@ -100,6 +101,7 @@ check_PROGRAMS = \
+       fpu_lazy_eflags \
+       fxtract \
+       getseg \
++      gnu_binutils_nop \
+       incdec_alt \
+       $(INSN_TESTS) \
+       int \
+diff --git a/none/tests/x86/gnu_binutils_nop.c 
b/none/tests/x86/gnu_binutils_nop.c
+new file mode 100644
+index 0000000000..412a4c2cbc
+--- /dev/null
++++ b/none/tests/x86/gnu_binutils_nop.c
+@@ -0,0 +1,34 @@
++int main(void)
++{
++    // GNU binutils uses various opcodes as alternatives for nop
++    // the idea is that it is faster to execute one large opcode
++    // with no side-effects than multiple repetitions of the
++    // single byte 'nop'. This gives more choice when code
++    // needs to be padded.
++   
++   // the following is based on
++   // https://sourceware.org/cgit/binutils-gdb/tree/gas/config/tc-i386.c#n1256
++
++    // one byte
++    __asm__ __volatile__("nop");
++    // two bytes
++    __asm__ __volatile__("xchg %ax,%ax");
++    // three bytes
++    //__asm__ __volatile__("leal 0(%esi),%esi");
++    __asm__ __volatile__(".byte 0x8d,0x76,0x00");
++    // four bytes
++    //__asm__ __volatile__("leal 0(%esi,%eiz),%esi");
++    __asm__ __volatile__(".byte 0x8d,0x74,0x26,0x00");
++    // five bytes
++    //__asm__ __volatile__("leal %cs:0(%esi,%eiz),%esi");
++    __asm__ __volatile__(".byte 0x2e,0x8d,0x74,0x26,0x00");
++    // six bytes
++    //__asm__ __volatile__("leal 0L(%esi),%esi");
++    __asm__ __volatile__(".byte 0x8d,0xb6,0x00,0x00,0x00,0x00");
++    // seven bytes
++    //__asm__ __volatile__("leal 0L(%esi,%eiz),%esi");
++    __asm__ __volatile__(".byte 0x8d,0xb4,0x26,0x00,0x00,0x00,0x00");
++    // eight bytes
++    //__asm__ __volatile__("leal %cs:0L(%esi,%eiz),%esi");
++    __asm__ __volatile__(".byte 0x2e,0x8d,0xb4,0x26,0x00,0x00,0x00,0x00");
++}
+diff --git a/none/tests/x86/gnu_binutils_nop.stderr.exp 
b/none/tests/x86/gnu_binutils_nop.stderr.exp
+new file mode 100644
+index 0000000000..e69de29bb2
+diff --git a/none/tests/x86/gnu_binutils_nop.vgtest 
b/none/tests/x86/gnu_binutils_nop.vgtest
+new file mode 100644
+index 0000000000..7f378dd53b
+--- /dev/null
++++ b/none/tests/x86/gnu_binutils_nop.vgtest
+@@ -0,0 +1,2 @@
++prog: gnu_binutils_nop
++vgopts: -q
diff -Nru valgrind-3.20.0/debian/patches/series 
valgrind-3.20.0/debian/patches/series
--- valgrind-3.20.0/debian/patches/series       2023-12-01 12:53:02.000000000 
+0100
+++ valgrind-3.20.0/debian/patches/series       2024-01-02 11:53:58.000000000 
+0100
@@ -7,3 +7,4 @@
 11_arm64-cache-flush.patch
 13_fix-path-to-vgdb.patch
 armhf_neon.patch
+14-x86-new-nops.patch

Attachment: signature.asc
Description: PGP signature

Reply via email to