https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115199
--- Comment #3 from Kacper Słomiński <kacper.slominski72 at gmail dot com> --- For the version in the bug report the first bad diff is: --- foo-good-foo.c.044t.dse1 2024-05-22 23:22:35.962903496 +0200 +++ foo-bad-foo.c.044t.dse1 2024-05-22 23:22:23.869476999 +0200 @@ -11,7 +11,7 @@ <bb 2> : b_3 = __builtin_malloc (8); f_5 = __builtin_malloc (1); - e_7 = __builtin_memcpy (f_5, "z", 1); + e_7 = f_5; b_3->c ={v} e_7; return b_3; So the same thing, but happening in an earlier pass.