Re: Gcc certification

[jf <j_f at laposte dot net>]

Robert Dewar wrote:

>  jf wrote:
>
> > Hi,
> > I often use gcc at work but some times it can't be used because it 
> > lacks some certification (even if it works very well).
> > Is there any plan to certify gcc ?
>
>
>
> This makes no sense, what kind of certification are you talking about?


Sorry, my English is poor :-(
So it is some times difficult to me to clearly express what I'm thinking 
about

> > I know that wind river use gcc as a basis for their developpement 
> > suite for works, didn't they certified their work ? is this work 
> > avaible ?
>
>
>
> GCC has been used for many life-critical systems, certified
> to level A of DO-178B. 


I'm glad to hear this, DO-178B is exactly what I was thinking about
Maybe you can give me an exemple of such a project ?

> Such certification does not require that
> the compiler itself be certified to this standard (a good thing,
> since it is impractical to do such certification, and no real
> life compilers are thus certified.


This is the anwser I gave to the person I was speaking with....
But at least some documentations and some tests must be provided isn't it ?

> > I'm interested by any comments about this subject
>
>
>
> Look up previous threads on this subject.


I apologize.  But someone at work was so much convinced that gcc 
couldn't do the job that I was hurt for the very good job you all do... 
So I posted to the list without much thinking