http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58920
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > 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.
