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).