https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110941
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |pinskia at gcc dot
gnu.org
Status|NEW |ASSIGNED
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Will commit a testcase for this.
r14-5109-ga291237b628f41 is definitely the fix for this based on my analysis in
comment #2:
> GCC 13:
> Global Exported: _6 = [irange] unsigned int [0, 24] NONZERO 0x1e
> trunk:
> Global Exported: _6 = [irange] unsigned int [0, 24][+INF, +INF] MASK 0x1c
> VALUE 0x0
The removal of `[+INF, +INF]` here fixes the issue earlier
