https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65409
--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> --- I agree for 4.8/4.9 that your version is safer. Anyway, you're the RTL maintainer, so I'll let you decide.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65409
--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> --- I agree for 4.8/4.9 that your version is safer. Anyway, you're the RTL maintainer, so I'll let you decide.