------- Comment #21 from thutt at vmware dot com 2010-09-03 13:07 -------
(In reply to comment #8)
> Is 'coverity' a compiler? I don't think so.
Coverity is not a tool that generates code, but it does perform
all the syntactic & semantic analysis that a code-generating compiler will.
Then, it goes beyond that with further static analysis.
> Do you have actual examples of
> *compilers* which, everything taken into account, decided to make sure this
> case is worth warning?
That's the worst argument I've read in a long time.
Do we need proof that another compiler does something before the gcc
team will take it up now?