]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8517de) | patch
Bug 492210 - False positive on x86/amd64 with ZF taken directly from addition
authorPaul Floyd <pjfloyd@wanadoo.fr>
Sun, 15 Sep 2024 07:52:56 +0000 (09:52 +0200)
committerPaul Floyd <pjfloyd@wanadoo.fr>
Sun, 15 Sep 2024 19:42:57 +0000 (21:42 +0200)
commit7e78a9a990c990631adb3f7c7edfd8cda418547f
tree005937bbbc2c644a096a15d18c375b95ebffb0cetree | snapshot
parentb8517dec59aa67a0a6729568d9b65808f4bee93bcommit | diff
Bug 492210 - False positive on x86/amd64 with ZF taken directly from addition

Also adds similar checks for short and char equivalents to the
original int reproducer.

Initial fix provided by
   Alexander Monakov <amonakov@gmail.com>

Two versions of the testcase, one with default options and one with
-expensive-definedness-checks=yes because the byte operations
subb and addb need the flag turned on explicitly.
.gitignore diff | blob | blame | history
NEWS diff | blob | blame | history
VEX/priv/guest_amd64_helpers.c diff | blob | blame | history
memcheck/tests/amd64/Makefile.am diff | blob | blame | history
memcheck/tests/amd64/bug492210.c [new file with mode: 0644] blob
memcheck/tests/amd64/bug492210_1.stderr.exp [new file with mode: 0644] blob
memcheck/tests/amd64/bug492210_1.vgtest [new file with mode: 0644] blob
memcheck/tests/amd64/bug492210_2.stderr.exp [new file with mode: 0644] blob
memcheck/tests/amd64/bug492210_2.vgtest [new file with mode: 0644] blob
Mirror of https://sourceware.org/git/valgrind.git