https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109442
--- Comment #24 from Jason Merrill <jason at gcc dot gnu.org> --- (In reply to Jan Hubicka from comment #23) > So I guess we are missing somewhere __builtin_assert that the length of > vector copied is allways smaller then half of address space... Or the compiler could conclude that the result of subtracting two pointers (which must point into the same array) is always small enough.
