https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118097
--- Comment #16 from Xi Ruoyao <xry111 at gcc dot gnu.org> ---
(In reply to David Binderman from comment #15)
> For the first test case, the reduced code seems to be:
>
> void printf(...);
> int crc32_tab[256];
> int crc32_context = 4294967295, g_27, g_64, g_90 = 3, func_2___trans_tmp_4,
> main_i, main_j, main_l_1486_0_8 = 4294967288;
> int *g_26 = &g_27, *func_2_l_1710 = &g_90;
> char g_76 = 232;
> long func_2___trans_tmp_5;
> long(safe_div_func_int64_t_s_s)(void) {}
/* snip */
> func_2___trans_tmp_5 = safe_div_func_int64_t_s_s();
This invokes undefined behavior. Still invalid reduction.
