https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80711
--- Comment #12 from Jonathan Wakely <redi at gcc dot gnu.org> --- A first approximation that is implemented in the wrong part of the compiler, using the wrong logic, giving the wrong answers, is not a step in the right direction because it would need to be completely redone. Might as well just start the right version and skip that first approximation.