[Bug tree-optimization/123300] [14/15 Regression] Adding [[assume((1< 0)]]/__builtin_unreachable generates an infinite loop

[amonakov at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123300

Alexander Monakov <amonakov at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[14/15/16 Regression]       |[14/15 Regression] Adding
                   |Adding [[assume((1<<i) >    |[[assume((1<<i) >
                   |0)]]/__builtin_unreachable  |0)]]/__builtin_unreachable
                   |generates an infinite loop  |generates an infinite loop
         Resolution|FIXED                       |---
             Status|RESOLVED                    |NEW

--- Comment #12 from Alexander Monakov <amonakov at gcc dot gnu.org> ---
... and remains broken on two release branches. Any chance of backports,
please?