|
From: Julian S. <se...@so...> - 2018-08-17 06:41:43
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=117b395382ba65bf54d6f0497560562ef1f57a24 commit 117b395382ba65bf54d6f0497560562ef1f57a24 Author: Julian Seward <js...@ac...> Date: Fri Aug 17 08:40:40 2018 +0200 On x86: enable by default, expensive-when-needed instrumentation of Add32. This reduces Memcheck's false-positive level a lot on clang -O2 generated code. Diff: --- memcheck/mc_translate.c | 1 + 1 file changed, 1 insertion(+) diff --git a/memcheck/mc_translate.c b/memcheck/mc_translate.c index 6667191..5ed39ae 100644 --- a/memcheck/mc_translate.c +++ b/memcheck/mc_translate.c @@ -8104,6 +8104,7 @@ IRSB* MC_(instrument) ( VgCallbackClosure* closure, are used only to construct memory addresses, which is an approximation to the above, and is self-contained.*/ # if defined(VGA_x86) + mce.dlbo.dl_Add32 = DLauto; mce.dlbo.dl_CmpEQ32_CmpNE32 = DLexpensive; # elif defined(VGA_amd64) mce.dlbo.dl_Add64 = DLauto; |