https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120921
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- So looking into this further, the problem is only with verify_gimple_assign_single where the issue is. Another testcase: ``` void __GIMPLE b(int t, int t1) { &t1 = &t; } ``` And another one: ``` #define vector __attribute__((vector_size(sizeof(int)))) typedef vector int vi; void __GIMPLE b(vi t, vi t1) { _Literal(vi){0} = _Literal(vi){1}; } void __GIMPLE c(vi t, vi t1) { _Literal(vi){t} = _Literal(vi){t1}; } ```