https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89765
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- That is not the right thing to do. Anyway, as for the wrong-code, do you see any gcc version where it actually passes? Tried various versions, e.g. r205000, r235000, r250907 and r268427 and all of them abort, older versions print more messages than newer ones.
