https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119803
--- Comment #4 from David Binderman <dcb314 at hotmail dot com> ---
Another test case, from csmith, is:
long func_46___trans_tmp_17;
char(safe_rshift_func_int8_t_s_s)(char);
void(safe_lshift_func_int32_t_s_s)(int);
void(safe_mod_func_int64_t_s_s)(long);
static void func_46(signed char);
static void func_55(long p_60) {
char __trans_tmp_1 = safe_rshift_func_int8_t_s_s(p_60);
safe_lshift_func_int32_t_s_s(__trans_tmp_1);
}
void func_1() {
func_46(178);
func_55(1119);
}
void func_46(signed char p_47) {
func_55(p_47);
safe_mod_func_int64_t_s_s(func_46___trans_tmp_17);
}
cvise $ ~/gcc/results/bin/gcc -c -w -O2 bug1097.c 2>&1 | more
during IPA pass: cp
bug1097.c:17:1: internal compiler error: in verify_mask, at value-range.cc:2484
17 | }
| ^
