On Mon, Dec 14, 2009 at 12:36:00PM -0800, John Regehr wrote: > My opinion is that code containing undefined behaviors is definitely > interesting, but probably it is interesting in a different way than > functions that are more meaningful.
Optimizations based on uninitialized variables make me very nervous. If uninitialized memory reads are transformed into don't-cares, then checking tools like valgrind will no longer see the UMR (assuming that the lack of initialization is a bug). Did I understand that icc does this? It seems like a dangerous practice.