https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110517 --- Comment #2 from CTC <19373742 at buaa dot edu.cn> --- The reduced reproducer: a, b, c, d; e() { for (;; a++) { short *f = &c; if (b && ++*f) d = e; } } main() {}