sign in | join about | help | sitemap
Connecting Tech Pros Worldwide
oksid's Avatar

C99 test suite ?


Question posted by: oksid (Guest) on August 27th, 2008 12:15 PM
Hello,

I'm writing a C99 preprocessor and I want to check its
compliance with the ISO standard.

I would like to know what's the best C99 test suite ?
GCC seems to have a large set of test files. Is there
something better available ?

Thanks in advance,
Jean-Marc Lienher
4 Answers Posted
Eric Sosman's Avatar
Guest - n/a Posts
#2: Re: C99 test suite ?

oksid wrote:
Quote:
Originally Posted by
Hello,
>
I'm writing a C99 preprocessor and I want to check its
compliance with the ISO standard.
>
I would like to know what's the best C99 test suite ?
GCC seems to have a large set of test files. Is there
something better available ?


Jacob Navia has published his C99 test suite in the
currently-raging thread "C99 portability challenge." You'll
have to make up your own mind about whether his conformance
test is "better" than others you've found.

--
Join Bytes!
jacob navia's Avatar
Guest - n/a Posts
#3: Re: C99 test suite ?

Eric Sosman wrote:
Quote:
Originally Posted by
oksid wrote:
Quote:
Originally Posted by
>Hello,
>>
>I'm writing a C99 preprocessor and I want to check its
>compliance with the ISO standard.
>>
>I would like to know what's the best C99 test suite ?
>GCC seems to have a large set of test files. Is there
>something better available ?

>
Jacob Navia has published his C99 test suite in the
currently-raging thread "C99 portability challenge." You'll
have to make up your own mind about whether his conformance
test is "better" than others you've found.
>


This is not true, as you well know. Nowhere did I
say that it is a "conformance suite".



--
jacob navia
jacob at jacob point remcomp point fr
logiciels/informatique
http://www.cs.virginia.edu/~lcc-win32
Eric Sosman's Avatar
Guest - n/a Posts
#4: Re: C99 test suite ?

jacob navia wrote:
Quote:
Originally Posted by
Eric Sosman wrote:
Quote:
Originally Posted by
>oksid wrote:
Quote:
Originally Posted by
>>Hello,
>>>
>>I'm writing a C99 preprocessor and I want to check its
>>compliance with the ISO standard.
>>>
>>I would like to know what's the best C99 test suite ?
>>GCC seems to have a large set of test files. Is there
>>something better available ?

>>
> Jacob Navia has published his C99 test suite in the
>currently-raging thread "C99 portability challenge." You'll
>have to make up your own mind about whether his conformance
>test is "better" than others you've found.
>>

>
This is not true, as you well know. Nowhere did I
say that it is a "conformance suite".


While it's true you didn't use the word "conformance" at
all, you did advertise the program as being able to "test"
whether a particular system did or did not have a C99 compiler.
Since a compiler is not a C99 compiler unless it conforms to
the C99 standard, any such test would necessarily need to be
a conformance test. Here's the syllogism:

Major premise: A test that indicates whether a given
compiler does or does not support C99 is a C99 conformance
test.

Minor premise: In JN's opinion, his program tests whether a
given compiler does or does not support C99.

Conclusion: Therefore, in JN's opinion his program is a C99
conformance test.

Q.E.D.

Perhaps if you'd spent a few moments pondering the difficulty
of the test you proposed to make, you'd have been less hasty to
make the attempt.

--
Eric Sosman
Join Bytes!lid
Richard Heathfield's Avatar
Richard Heathfield August 28th, 2008 03:25 AM
Guest - n/a Posts
#5: Re: C99 test suite ?

Eric Sosman said:
Quote:
Originally Posted by
jacob navia wrote:
Quote:
Originally Posted by
>Eric Sosman wrote:


<snip>
Quote:
Originally Posted by
Quote:
Originally Posted by
Quote:
Originally Posted by
>> Jacob Navia has published his C99 test suite in the
>>currently-raging thread "C99 portability challenge." You'll
>>have to make up your own mind about whether his conformance
>>test is "better" than others you've found.

>>
>This is not true, as you well know. Nowhere did I
>say that it is a "conformance suite".

>
While it's true you didn't use the word "conformance" at
all, you did advertise the program as being able to "test"
whether a particular system did or did not have a C99 compiler.


Right. The most relevant wording, it seems, is this: "My basic idea is to
see which systems do not have a compiler that supports standard C."

<snip>
Quote:
Originally Posted by
Perhaps if you'd spent a few moments pondering the difficulty
of the test you proposed to make, you'd have been less hasty to
make the attempt.


For one thing, the program does not demonstrate the "broken" VLA semantics
of gcc.

--
Richard Heathfield <http://www.cpax.org.uk>
Email: -http://www. +rjh@
Google users: <http://www.cpax.org.uk/prg/writings/googly.php>
"Usenet is a strange place" - dmr 29 July 1999
 
Not the answer you were looking for? Post your question . . .
197,034 members ready to help you find a solution.
Join Bytes.com

What is Bytes?

We are a network of experts and professionals in IT and software development that help one another with answers to tough questions and share insights. Get the best answers to your questions from over 197,034 network members.
Post your question now . . .
It's fast and it's free

Popular Articles

Top Community Contributors