http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54824
--- Comment #7 from Jan Hubicka <hubicka at ucw dot cz> 2012-10-16 14:21:29 UTC --- > I'll try to plug the hole somewhere. Honza, any good idea? Hmm, adding __bulitin_noreturn call when this happens? Sounds sloppy, too. We should ask user to fix the source, too. Honza
