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?