https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88049
--- Comment #7 from Jan Hubicka <hubicka at gcc dot gnu.org> --- I am happy with the patch in #5, so you can consider it pre-approved. It is probably your call whether to declare the code invalid at first place.
