On Wednesday, 16 January 2013 at 11:50:18 UTC, bearophile wrote:
mist:
Yes and this is the very difference between compiler and
static analysis tool, in my opinion. Compiler should never
ever reject valid use cases, it does not matter how small
chance of meeting those is.
In most cases debugging is an inherently statistical thing
because large programs always contain many bugs. In programming
life you can't work with absolutes, you should look at the
probabilities too.
Yes, I fully agree with you. That is way having a solid static
analysis tool is must for low-level language. But compiler has
different job and I like it UNIX-way.
Also I am not Walter and second question has probably been
targeted wrong :)
Walter time is probably better spent elsewhere. If you have
understood well what Walter meant, you should be able to write
that a counterexample in that enhancement request.
No idea how well I have understood, but I'll scratch a code
example, no problem.
