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

[mikpelinux at gmail dot com]

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

--- Comment #6 from Mikael Pettersson <mikpelinux at gmail dot com> ---
(In reply to Andrew Pinski from comment #5)
> (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).

Sorry, I thought that was C++-isms since gcc-13/14 wouldn't compile it with
just -O2.