https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103231
--- Comment #5 from Martin Liška <marxin at gcc dot gnu.org> --- Simplified test-case: cat pr103231.c void BHbHb2l_1912(); int a; int bs; long g_1496_BK8K8el_2738; long fn1_l_1522; int fn1_l_1708; int fn1_l_2085; int fn1_l_2664; int fn1_bv; int fn1_l_2354; int fn1_l_2188; long fn1_bx; int fn1_BHbHb1l_2637; long fn1_l_2756; void fn1() { long l_1761; unsigned l_1552, l_1810, l_1812, bw; int l_2189, by, l_2688; short l_1852; short l_1912; short l_2108; short l_2126; short l_2352; unsigned l_2456; LABEL_5959g: __builtin_printf("l_2456=%llu\n", l_2456); if (l_1812) ca: if (a) goto LABEL_IbIbjc; if (fn1_l_2188) { if (fn1_l_2756 && fn1_l_2188 <= 7) LABEL_TaTak: if (l_2352) goto LABEL_6969u; if (by) { LABEL_6969u: if (l_2189) ; if (l_1912) goto LABEL_5959g; n: int BK8K8hl_2189 = l_2352 * (~l_1852 & g_1496_BK8K8el_2738); if (l_2126) { int B6666pl_2365 = fn1_bx / ~(l_1552 || fn1_l_2354 % l_2108 & fn1_l_2664); if (fn1_l_2354) bw = B6666pl_2365 || l_1912; short dg = ~(l_2456 & l_1761), dh = (l_1912 & by | fn1_l_2756) * BK8K8hl_2189 | dg; if (bs) { l_1912 = dh * dg; if (l_1810) { if (fn1_l_2085) goto LABEL_m9m9J; goto q; } } l_2456 = dh; if (fn1_l_1522) goto n; l_1761 = ~BK8K8hl_2189; long dl = l_1761 ^ (l_2108 | bw ^ ~fn1_l_2354); t: l_2108 = (l_2108 && l_1812 && l_2126) - ~0; int w = -~0 ^ -l_1552 * ((dl || by) >> fn1_l_2188); l_1552 = w; if (fn1_l_1522) { int x = l_2688 | fn1_l_1708 & l_1552; short BHbHbZg_5 = (l_1810 | a) & l_1852; if (a) y: l_2688 = -(fn1_l_1522 & (x ^ BHbHbZg_5)); l_1810 = x; BHbHb2l_1912(fn1_l_1522 && fn1_l_2188 && fn1_BHbHb1l_2637); } if (0) ; if (l_1812) goto ca; } short Bm9m9El_1852 = ~(~0 && l_2688); unsigned Bm9m9Fl_1522 = -Bm9m9El_1852; if (l_1812) LABEL_m9m9J: l_1852 = ~fn1_l_2664 ^ Bm9m9Fl_1522; long B97976l_1761 = ~fn1_bv ^ (l_1552 && l_2108); if (fn1_bv) q: l_2126 = ~(B97976l_1761 ^ a) / fn1_l_2354 / l_1761; if (by) goto LABEL_TaTak; if (l_1810) goto y; goto t; } } LABEL_IbIbjc: } one needs ulimit -s 4096 in order to reproduce it.