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

[pinskia at gcc dot gnu.org]

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Created attachment 63159
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=63159&action=edit
Testcase which shows this is a regression

Self contained testcase (and does not cause an infinite loop but rather an
abort).