This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: RFC/RFHelp: c-decl.c rewrite - almost but not quite
"Joseph S. Myers" <jsm@polyomino.org.uk> writes:
> On Tue, 16 Mar 2004, Zack Weinberg wrote:
>
>> I think that both here and in 6326 you are making a distinction
>> without a difference. I think we're allowed to reject the sample
>> translation unit in 6326 (compile-time undefined behavior) and I don't
>
> We can reject it because the invalid calls are in main and so _every_
> possible execution is run-time undefined (DR#109).
Bleah.
You may have guessed that I'm not at all enthusiastic about this
compile-time/run-time undefined behavior distinction. I much prefer
C++'s "ill-formed but no diagnostic required" locution, which gives
the implementation the freedom not to put up with such code.
Anyway, this issue has a trivial fix - send () through
store_parm_decls_oldstyle as we used to do before I tried to get
clever. I'll incorporate that in the next version of the patch.
(Still looking for help with the crashes building libobjc.)
zw