]> git.ipfire.org Git - thirdparty/valgrind.git/commit
Bug 502324 - s390x: Fix memcheck false positives with TM/TMY
authorAndreas Arnez <arnez@linux.ibm.com>
Wed, 2 Apr 2025 17:52:26 +0000 (19:52 +0200)
committerAndreas Arnez <arnez@linux.ibm.com>
Wed, 2 Apr 2025 17:52:26 +0000 (19:52 +0200)
commit29f8a0ad4ed17d9cdf4a5d6661a51d25db6fc472
treedf7d5c10e7186aa8280b1fb87c8b36f421b9a6ef
parenta95ba0d6e549764d5a68536efc6eb1545b537c09
Bug 502324 - s390x: Fix memcheck false positives with TM/TMY

If the condition code of TM/TMY is generated in a different block than it
is used, memcheck can yield false positives for a partially initialized
value even if the checked bits are all defined.

Fix this by storing the operand ANDed with the mask in the flags thunk,
instead of the unmodified operand.  This enables memcheck to track the
defined bits correctly.
VEX/priv/guest_s390_helpers.c
VEX/priv/guest_s390_toIR.c