From: Florian Krohm Date: Tue, 7 Oct 2025 12:39:38 +0000 (+0000) Subject: Document that --vex-guest-chase=not ought to be used when doing IR injection. X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;ds=inline;p=thirdparty%2Fvalgrind.git Document that --vex-guest-chase=not ought to be used when doing IR injection. Fixes https://bugs.kde.org/show_bug.cgi?id=506453 --- diff --git a/NEWS b/NEWS index bdf175eac..7335f05b3 100644 --- a/NEWS +++ b/NEWS @@ -987,6 +987,7 @@ are not entered into bugzilla tend to get forgotten about or ignored. 451843 valgrind fails to start on a FreeBSD system which enforces W^X 495483 Control building documentation via BUILD_DOCS 506211 Constant folding improvements +506453 Unexpected behaviour with IR injection and vex-guest-chase=yes 509157 riscv64: Shift instructions can behave wrong To see details of a given bug, visit diff --git a/VEX/priv/ir_inject.c b/VEX/priv/ir_inject.c index 04228538f..b447f6e94 100644 --- a/VEX/priv/ir_inject.c +++ b/VEX/priv/ir_inject.c @@ -27,6 +27,10 @@ The GNU General Public License is contained in the file COPYING. */ +/* !!! When running valgrind on applications that use IR injection + !!! --vex-guest-chase=no should be given on the command line. This + !!! avoids that vex_inject_ir is called speculatively. +*/ #include "libvex_basictypes.h" #include "libvex_ir.h" #include "libvex.h" diff --git a/memcheck/tests/vbit-test/vbit-test-sec.vgtest b/memcheck/tests/vbit-test/vbit-test-sec.vgtest index 2d3c9389d..8d84e7e90 100644 --- a/memcheck/tests/vbit-test/vbit-test-sec.vgtest +++ b/memcheck/tests/vbit-test/vbit-test-sec.vgtest @@ -1,3 +1,3 @@ prog: vbit-test-sec prereq: test -x vbit-test-sec -vgopts: -q --expensive-definedness-checks=yes +vgopts: -q --expensive-definedness-checks=yes --vex-guest-chase=no diff --git a/memcheck/tests/vbit-test/vbit-test.vgtest b/memcheck/tests/vbit-test/vbit-test.vgtest index a05890566..198c62351 100644 --- a/memcheck/tests/vbit-test/vbit-test.vgtest +++ b/memcheck/tests/vbit-test/vbit-test.vgtest @@ -1,2 +1,2 @@ prog: vbit-test -vgopts: -q --expensive-definedness-checks=yes +vgopts: -q --expensive-definedness-checks=yes --vex-guest-chase=no