https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128433
--- Comment #2 from Kewen Lin <linkw at gcc dot gnu.org> --- It seems that the analysis considers we can make use of half-vector construction so it unset overrun_p. But the transformation ends up with the full vector when partial vector enabled.
