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

[pinskia at gcc dot gnu.org]

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

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Mikael Pettersson from comment #4)
> Created attachment 63161 [details]
> test case in plain c

Note my testcase was already plain c (just it uses c23 attribute syntax).