Gcc certification

[Robert Dewar]

jf wrote:

> 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 ?

No, that's wrong, the certification is at the level of the object
program, not the source program.

> And those peace of evidences are the same for anybody in the same 
> situation, am I wrong ?

yes you are wrong

> So the procedures should be the same ?

I would recommend involving people who know how Do178B certification
works, otherwise you are likely to go in the wrong direction (as seems
to be happening here).