Richard said:
CBFalconer said:
Do you mean "quis custodies ipsos custodes?" ("who guards the guards
themselves?")? No, it doesn't apply. But yes, you're right, we need to be
able to verify C90 conformance too - not so that we can jump on the
implementors, necessarily, but so that we can be careful about our own
code. For example, I am reasonably sure that Borland's handling of errno is
non-conforming. Because there is a significant chance that my code may be
compiled using Borland's compiler, therefore, I avoid errno like the plague
in my own code. I don't rant and rave about it - I just avoid using that
feature. Same with C99 features, really. I don't worry too much about
certification - I just use the features I know to be portable to all the
implementations on which my code is likely to be compiled.
I was suspicious of my memory

It is about 60 years since I
took my last Latin course, and flunked it miserably (partly
deliberate, so my parents would let me drop it for more maths and
physics). Now I wish I had paid more attention.
Why do you say doesn't apply? If a proper test suite is ever
developed, it needs to be open source so that everybody can poke
it. Otherwise you depend on the accuracy of the unknown designer.
The Pascal conformance test suite was an excellent example, except
the originators maintained copyright and the whole thing
disappeared. It was geared to the section numbering in the Pascal
standard. Something like t6p2p3-4.pas for test section 6.2.3
number 4. Just compile and execute. A master program could
extract the appropriate source from the suite, run the compiler,
and check results. Some tests needed compilation to fail, others
execution to output 'pass' or 'fail'. The initial letter could
govern those choices.
--
Some informative links:
< <
http://www.geocities.com/nnqweb/>
<
http://www.catb.org/~esr/faqs/smart-questions.html>
<
http://www.caliburn.nl/topposting.html>
<
http://www.netmeister.org/news/learn2quote.html>
<
http://cfaj.freeshell.org/google/>