https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88771
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Ever confirmed|0 |1 --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- It's the restrict pass doing this after VRP figured we can simplify things via threading: # .MEM_22 = VDEF <.MEM_7(D)> __builtin_strncpy (pretmp_9, pretmp_19, 18446744073709551615); not sure what the warning is about though but I guess it's triggered by seeing that e->a = 0 store? The testcase seems to be reduced ad absurdum and the bisection looks odd. Can you attach some original source?