http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48065
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-03 16:40:48 UTC --- We definitely should be able to make it work. We can simply inline abort () ;)
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48065
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-03 16:40:48 UTC --- We definitely should be able to make it work. We can simply inline abort () ;)