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: 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


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