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.