https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107850
--- Comment #10 from Charles-Henri Gros <chgros at synopsys dot com> --- I'd be happy with any algorithm that meets my needs, though the presence of a different algorithm that does the same thing that the existing algorithm currently does, or at least subsumes all the existing use cases of the current algorithm (likely with no performance loss), seems redundant to me. Anyway I'm planning to take this to LEWG, I'm pretty sure we agree something needs to be done either way.