http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58920
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Eric Botcazou from comment #5) > > As of pointer vs. reference types this shouldn't matter here as you > > annotate actualy tcc_reference trees, not types. > > What Andrew meant is that one can think that it would be valid to set the > flag > on tcc_reference trees if operand #0 has REFERENCE_TYPE instead of > POINTER_TYPE, > but of course that doesn't work because they can be smashed together. Yeah, that can't be the way to distinguish them (though on GENERIC they are not smashed together and the Frontend would do the TREE_THIS_NOTRAP setting anyway).
