https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77824
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Eric, can you please provide a test case where you are seeing the
> unpropagated copies? Thanks!
I only have an Ada testcase but I think that it would be fairly easy to see
unpropagated copies: replace
case MODIFY_EXPR:
slsr_process_copy (gs, rhs1, speed);
break;
with
case SSA_NAME:
gcc_unreachable ();
and run the C testsuite. Of course that doesn't mean any transformation would
necessarily be done in the end.
