Gcc certification

[jf]

Joe Buck wrote:

>On Thu, Jan 20, 2005 at 09:11:07PM +0100, jf wrote:
>  
>
>>Joe Buck wrote:
>>    
>>
>>>[...]
>>>      
>>>
>>Yes I know about that ;-)
>>Maybe the company I'm working for will do this job.
>>For now, I don't know how, I don't even know if I'll be part of this 
>>projet, but if it's the case if would like this work to be usable for 
>>others.
>>    
>>
>
>You seem to be assuming that there is a concept of "certification" that
>is agreed on by more than one organization, or that there are compilers
>out there that are "certified".  Some companies certify their software
>suppliers, but each company has different procedures to do this.
>  
>
This is not what I wanted to say nor what I'm thinking. 
Let's say I'm building a system that has to certified against DO 178-B 
and I want to use gcc.  I have to provide some piece of evidences that 
gcc works correctly, isn't it ?
And those peace of evidences are the same for anybody in the same 
situation, am I wrong ?
So the procedures should be the same ?