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]

Re: PATCH for type-checking improvements

>>>>> "Jason" == Jason Merrill <jason@cygnus.com> writes:

    Jason> Agreed.  This is a telling argument for your change.  Go
    Jason> ahead and put it in.  A couple of nits:

    >> + + We must use the canonical variant because certain */

    Jason> certain what?

Thanks for catching that.  The answer, which I'll put in that comment,
is that some parts of the back end, e.g. fold, have code like:

	      && (TREE_TYPE (TREE_OPERAND (TREE_OPERAND (t, 1), 0))
		  == TREE_TYPE (TREE_OPERAND (TREE_OPERAND (t, 2), 0)))
  
which won't work if one of the types is a typedef equivalent.  I bet
this is a bug in the back-end, but we can work around it in the
front-end for now.

-- 
Mark Mitchell 			mark@markmitchell.com
Mark Mitchell Consulting	http://www.markmitchell.com
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]