Gcc certification

[Joe Buck]

On Thu, Jan 20, 2005 at 03:42:54PM -0500, Robert Dewar wrote:
> jf wrote:
> 
> > Maybe it could be interesting to have some sort of framework that can be 
> > used to certify a particular gcc version and updated when a new version 
> > of gcc appear....
> 
> Certifying gcc as a development tool (meaning its output can be
> trusted without inspection) is in my opinion out of the question.

The same is true of all other compilers that could conceivably be used
instead.  There are no bug-free compilers.