http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51705
--- Comment #35 from Steve Kargl <sgk at troutmask dot apl.washington.edu> 2012-01-09 21:33:23 UTC --- On Mon, Jan 09, 2012 at 08:32:00PM +0000, andreast at gcc dot gnu.org wrote: > 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__\)\)"; > This is the line I tested. Note, Bruce's patch does not have a mach= field, so the patch should apply to any OS with a cdefs.h with [[noreturn]]. I'll also defer to Bruce on whether to keep the escaped ( and ) characters. > And more important, do we have an ok for a commit of this patch? That's a good question.