https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52356
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |documentation
CC| |law at gcc dot gnu.org
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
This is part of emit_move_insn_1 where I expect the caller needs to ensure such
overlap does not exist. The comment above emit_move_isnsn_1 says it assumes
X and Y are basically valid. Whatever that means. emit_move_insn does not
check for overlap either.
No arch, no testcase, so could as well be a documentation bug.