From: fred@genesis.demon.co.uk (Lawrence Kirby)
Subject: Re: Ada to C/C++ translator needed
Date: 1996/10/05
Date: 1996-10-05T00:00:00+00:00 [thread overview]
Message-ID: <844550221snz@genesis.demon.co.uk> (raw)
In-Reply-To: 52t8da$2ej@goanna.cs.rmit.edu.au
In article <52t8da$2ej@goanna.cs.rmit.edu.au>
ok@goanna.cs.rmit.edu.au "Richard A. O'Keefe" writes:
>seebs@solutions.solon.com (Peter Seebach) writes:
>
>>(However, if you're discussing SparcWorks C, you've failed to establish
>>that it's a C compiler. A C compiler *MUST* diagnose the line
>> static int i = 1 ? 1 : (++j);
>>as a constraint violation, but at least the version we have doesn't, even
>>in "maximally conforming ANSI mode". Clearly, it is not a C compiler.)
>
>"gub.c", line 1: undefined symbol: j
>
>Looks like an error message to me.
>Oh, you wanted something _else_ in the program?
>
>Fair enough, given an appropriate declaration for j,
>this line gets through
>
> SPARCompiler C, even with "-erroff=%none"
> SPARCompiler Lint
> LCLint (shock horror; I have reported this as a bug)
> lcc (*published* as a C compiler!)
> (I have reported this as a bug too)
> gcc -ansi -pedantic (I'll let you report this one, seebs)
>
>Evidently, by your argument, I haven't _got_ any C compilers to test!
Possibly, but you haven't proved it. You have to consider 6.4:
"An implementation may accept other forms of constant expression"
However I would certainly expect a lint to flag it as non-portable.
--
-----------------------------------------
Lawrence Kirby | fred@genesis.demon.co.uk
Wilts, England | 70734.126@compuserve.com
-----------------------------------------
next prev parent reply other threads:[~1996-10-05 0:00 UTC|newest]
Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-09-25 0:00 Ada to C/C++ translator needed Emmanuel Champommier
1996-09-25 0:00 ` David Weller
1996-10-02 0:00 ` B|rje Norden
1996-10-04 0:00 ` David Weller
1996-10-05 0:00 ` Robert Dewar
1996-10-05 0:00 ` Frank Manning
1996-10-06 0:00 ` Samuel Tardieu
1996-10-07 0:00 ` Richard Kenner
1996-10-07 0:00 ` Robert Dewar
1996-10-08 0:00 ` Stephen Leake
1996-10-07 0:00 ` Robert Dewar
1996-10-08 0:00 ` Frank Manning
1996-10-07 0:00 ` Erik Magnuson
1996-09-26 0:00 ` Ian Ward
1996-10-02 0:00 ` Jon S Anthony
1996-10-02 0:00 ` Jon S Anthony
[not found] ` <52feul$os2@goanna.cs.rmit.edu.au>
1996-09-28 0:00 ` Tim Behrendsen
1996-09-29 0:00 ` Ken Pizzini
1996-09-29 0:00 ` Tim Behrendsen
1996-09-29 0:00 ` Robert Dewar
1996-09-30 0:00 ` Tim Behrendsen
1996-09-30 0:00 ` Matthew Heaney
1996-09-30 0:00 ` Tim Behrendsen
1996-09-30 0:00 ` William Clodius
1996-10-01 0:00 ` Richard A. O'Keefe
1996-09-30 0:00 ` Richard A. O'Keefe
1996-09-30 0:00 ` Tim Behrendsen
1996-09-30 0:00 ` Richard A. O'Keefe
1996-09-30 0:00 ` Tim Behrendsen
1996-09-30 0:00 ` Peter Seebach
1996-09-30 0:00 ` Tim Behrendsen
1996-10-01 0:00 ` Richard A. O'Keefe
1996-10-01 0:00 ` Tim Behrendsen
1996-10-02 0:00 ` Ian Ward
1996-10-02 0:00 ` Tim Behrendsen
1996-09-30 0:00 ` Peter Seebach
1996-10-02 0:00 ` Richard A. O'Keefe
1996-10-05 0:00 ` Lawrence Kirby [this message]
1996-10-06 0:00 ` Tanmoy Bhattacharya
1996-10-06 0:00 ` Lawrence Kirby
1996-10-08 0:00 ` Peter Seebach
1996-10-07 0:00 ` Tanmoy Bhattacharya
-- strict thread matches above, loose matches on Subject: below --
1996-10-02 0:00 Simon Johnston
1996-10-07 0:00 ` Richard Riehle
1996-10-09 0:00 ` Richard A. O'Keefe
1996-10-15 0:00 ` Tucker Taft
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox