http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57742
--- Comment #13 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Richard Biener from comment #12) > Yes, the fact that the return value p cannot be equal to q inside the > function is not exposable. Richard fixed this in PR 50262, yay! So this PR is worth working on again.