This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch for c/13801
On Tue, 24 Aug 2004, Zack Weinberg wrote:
> 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.
We've run into this disagreement in the C++ front end recently, too. The
resolution we came to there was to be correct for the front end until we're
ready to hand off to the middle end, then do any lowering necessary. This
lowering happens in cp_genericize.
Jason