|Reference source for C-compiler validation? email@example.com (2001-11-05)|
|Re: Reference source for C-compiler validation? firstname.lastname@example.org (Joachim Durchholz) (2001-11-08)|
|Re: Reference source for C-compiler validation? email@example.com (Martin von Loewis) (2001-11-08)|
|Re: Reference source for C-compiler validation? firstname.lastname@example.org (Axel Kittenberger) (2001-11-08)|
|Re: Reference source for C-compiler validation? email@example.com (Zack Weinberg) (2001-11-08)|
|Re: Reference source for C-compiler validation? firstname.lastname@example.org (2001-11-08)|
|Re: Reference source for C-compiler validation? ceco@no_smap_jupiter.com (Tzvetan Mikov) (2001-11-08)|
|Re: Reference source for C-compiler validation? email@example.com (2001-12-03)|
|From:||firstname.lastname@example.org (Nick Maclaren)|
|Date:||8 Nov 2001 23:17:53 -0500|
|Organization:||University of Cambridge, England|
|Posted-Date:||08 Nov 2001 23:17:53 EST|
Martin von Loewis <email@example.com> wrote:
>firstname.lastname@example.org (J. Bredno) writes:
>> Simple question, but I'm afraid the answer won't be so simple:
>> Are there any widely accepted C and C++ source files that can be
>> used to validate a compiler? E.g., is there some test for ANSI
>> compliance or something similar?
>There are certainly widely-accepted C and C++ test suites. I don't
>think any of them is widely available. Common test suites are
>Plum Hall: http://www.plumhall.com/suites.html
There are, but there are some serious problems with them: the state of
the C standard. I have not been following C++.
The syntax of C is moderately well-defined, though there are some
areas where there is considerable dissent over what is specified.
Look at comp.std.c for more evidence than you want to see :-(
The semantics, however, isn't. In most places, the intent is clear,
but it is rarely agreed whether the intent is a requirement or merely
a guideline to recommended practice. In some other (often important)
places, the intent isn't clear, is known only from external sources or
even isn't agreed.
Any validation suite has to decide what language to test against, with
the obvious problems. I have listened to a debate between the author
of a validation suite and someone needed to prove conformance for a
contract on this very matter.
University of Cambridge Computing Service,
New Museums Site, Pembroke Street, Cambridge CB2 3QG, England.
Tel.: +44 1223 334761 Fax: +44 1223 334679
Return to the
Search the comp.compilers archives again.