https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110176
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
Last reconfirmed| |2023-06-08
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Here is a testcase which will abort rather than do an infinite loop:
```
int f(_Bool t)
{
int tt = t;
unsigned x = -1;
int xx = x;
return xx <= tt;
}
int a, b;
void c() {}
[[gnu::noipa]]
void h() {__builtin_abort();}
int d() {
unsigned f[1];
int i;
if (a)
goto h;
f[0] = -1;
while (1) {
c();
for (; a < 1; a++) {
if (0) {
j:
continue;
}
i = f[0];
if (a)
break;
b = i >= (b == 0);
}
if (!b) {
if (0) {
h:
goto j;
}
return 0;
}
h();
}
}
int main() {
d();
return 0;
}
```
