https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111336
Shaohua Li <shaohua.li at inf dot ethz.ch> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |yinyuefengyi at gmail dot com --- Comment #2 from Shaohua Li <shaohua.li at inf dot ethz.ch> --- I have another similar test case that even affects GCC-12 (bisected to r12-6087-g51a24e4a984) Compiler explorer: https://godbolt.org/z/d6hjfGqzj I reported another bug111331, which also looks similar but has different bisection point. $ cat a.c int printf(const char *, ...); int a, b; long c = 3521733542; int d[2]; int e(int f, int g) { if (f == 0) return 0; if (f > 200) return 0; if (g) return 5000 * f; return 0; } int main() { int h = 0; for (;e((int)c + 773233762, c + 773233760) + (int)c + 773228714 + h < 2; h++) d[h] = b; printf("%d\n", a); } $