This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch for c/13801
"Joseph S. Myers" <jsm@polyomino.org.uk> writes:
> On Tue, 24 Aug 2004, Zack Weinberg wrote:
>
>> I'm sorry, Joseph. I believe this patch to be based on a design
>> decision which is fundamentally incorrect. I've been sitting on your
>> message for two weeks trying to think of something more constructive
>> to say, but I can't.
>
> Whereas I believe the design decision (i.e. giving declarations their
> correct types rather than having the datastructures contain wrong data and
> trying to fix it up later in every place it is used) is fundamentally
> correct,
[...]
Then we have an impasse, and the logical thing to do is get someone
else to express an opinion, ideally someone with a good solid
understanding of the expected semantics of DECLs and their types.
If I may attempt to state precisely the point of disagreement: You
consider the "correct type" of a DECL to be the type specified for
that DECL by the semantics of the language, at the current point in
the source program. I consider the correct type to be the one which
conveys all of the type information available to the compiler about
that DECL, at the current point in the complete translation, whether
or not that is the type that the language specifies. Your choice is
convenient for the front end, mine convenient for the language-
independent compiler.
zw