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.
