On Wed, Apr 12, 2023 at 01:28:08AM +1200, David Rowley wrote: > Any objections?
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.