http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60517
--- Comment #8 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Manuel López-Ibáñez from comment #7) > To avoid duplicates, the front-end could just return something else, like > NULL, when it detects this case (I guess the behavior is undefined and we > can do whatever we want, no?). I guess... Then we might as well introduce a call to __builtin_unreachable right before the return, at the same time as we replace the return value.
