http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51998
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-25 16:38:05 UTC --- I think remove_attribute would be desirable too. But I wonder if it can't be detected earlier than here. In any case, I'd like to hear Honza on this.