http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51705
--- Comment #34 from Andreas Tobler <andreast at gcc dot gnu.org> 2012-01-09 20:32:00 UTC --- Just to double check, shall I leave the backslash in this line? c_fix_arg = "__attribute__\(\(__noreturn__\)\)"; And more important, do we have an ok for a commit of this patch?