This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]