On Sun, 16 Apr 2023 at 03:26, Noah Misch <n...@leadboat.com> wrote: > Not objecting. I think the original Valgrind integration refrained from this > because it would have added enough Valgrind client requests to greatly slow > Valgrind runs. Valgrind reduced the cost of client requests in later years, > so this new conclusion is reasonable.
I tested that. It's not much slowdown: time make installcheck Unpatched: real 79m36.458s Patched: real 81m31.589s I forgot to mention, I pushed the patch yesterday. David
