|
From: Nicholas N. <nj...@ca...> - 2003-11-21 09:18:00
|
On Thu, 20 Nov 2003, John Reiser wrote: > Is there an option to have "integer" instructions complain on fetch > instead of "as late as possible?" I find it easier to find and fix errors > when uninit is reported "as soon as possible," namely when first fetched > from memory. Yes, "complain ASAP" tends to catch structure holes and > padding, and too many bitfields. But I want to know about those anyway, > because most of the time they indicate performance or reliability problems > that I want to correct. [I also know about speculative overruns by memcpy, > etc.; they can be readily diagnosed and suppressed.] No option. I experimented with this recently, it's not a very big change to Memcheck. Even on tiny programs like 'date', it caused hundreds of errors. This seemed like an insurmountable problem, but maybe there's some trick to improving it? N |