gcc vs. commercial C compiler (Sun'

[Henry Spencer]

In article <225800115 at uxe.cso.uiuc.edu> mcdonald at uxe.cso.uiuc.edu writes:
>... I would see to it, were I so rash as to be in such a business,
>that, among other tests, there would be a group whose job it would be
>to examine the assembler output of the compiler to see that the compiler
>did its job right. I would attempt to have a group look at the output
>directly, without recourse to the source code, to try to figure out
>what it would do...

This sort of thing is not at all unknown in the avionics world, although
it is not universal.  Such groups normally work from the binary, by the
way, so as to be absolutely sure that they are really looking at the code
that will be executed.  Assemblers aren't necessarily trustworthy either.
-- 
Allegedly heard aboard Mir: "A |     Henry Spencer at U of Toronto Zoology
toast to comrade Van Allen!!"  | uunet!attcan!utzoo!henry henry at zoo.toronto.edu