https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924
--- Comment #6 from David Binderman <dcb314 at hotmail dot com> ---
Reduced C code is
func_4_p_7, func_4_l_3204;
func_15() __attribute__((cold));
func_15() {
for (;;)
;
}
func_15_alias() __attribute__((alias("func_15")));
func_4() {
func_15_alias(func_4_p_7 && safe_sub_func_uint64_t_u_u(), func_4_l_3204);
}
-O1 is enough to show the bug.
cvise $ /home/dcb38/gcc/results/bin/gcc -c -w -O1 bug946.c
bug946.c: In function ‘func_4’:
bug946.c:8:1: error: stmt with wrong VUSE
8 | func_4() {
| ^~~~~~
# VUSE <.MEM_5(D)>
func_4_l_3204.0_1 = func_4_l_3204;
expected .MEM_6
during GIMPLE pass: sink
bug946.c:8:1: internal compiler error: verify_ssa failed
0x10c63cb verify_ssa(bool, bool)
../../trunk.year/gcc/tree-ssa.cc:1203
0xd2ccdf execute_function_todo(function*, void*)
../../trunk.year/gcc/passes.cc:2095
0xd2b6c1 execute_todo(unsigned int)
../../trunk.year/gcc/passes.cc:2142
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
cvise $
