On Sat, 7 Aug 2010, Florian Weimer wrote:
I wonder if we should give up and make -fwrapv the default.
My sense is that there are not that many of these integer bugs, and probably all of them are simple to fix. Best to just fix them and then run a tool like ours every now and then to see if anything new has popped up.
John Regehr
