https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113551
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|rguenth at gcc dot gnu.org |unassigned at gcc dot
gnu.org
Status|ASSIGNED |NEW
Priority|P3 |P2
Known to work| |14.0
Summary|[13/14 Regression] |[13 Regression]
|Miscompilation with -O1 |Miscompilation with -O1
|-funswitch-loops |-funswitch-loops
|-fno-strict-overflow |-fno-strict-overflow
CC| |rguenth at gcc dot gnu.org
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
The IL after unswitching looks OK, but we assume that when &dso->i is NULL
then dso == NULL and when &dso->i is not NULL then dso also isn't.
I think this is a ranger bug that has been fixed on trunk
but eventually not yet backported, thus we have a duplicate somewhere.
Bisection will tell.