On Tue, 12 Sep 2017, Nathan Sidwell wrote:

> On 09/12/2017 12:06 PM, Joseph Myers wrote:
> > On Tue, 12 Sep 2017, Nathan Sidwell wrote:
> 
> > > This patch removes that checking, and also asserts that when we see
> > > identically named decls, exactly one is a TYPE_DECL.
> > 
> > When do you get TYPE_DECLs here, for C?  I wouldn't expect them to be
> > possible.
> > 
> 
> oh, of course (C is so primitive!).  This patch survives a bootstrap, ok?

I'd be concerned about the possibility of a qsort implementation that 
calls the comparison function with two pointers to the same object (as far 
as I can tell, it's valid for qsort to do that).  That is, I think you 
need to check for the two DECLs being the same DECL, before asserting 
their names are different.

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to