http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51705
--- Comment #27 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-06 15:30:23 UTC --- I'd say: c_fix_arg = "__attribute__((__noreturn__))"; would be better. Thanks for writing a comment that has just the important facts in it and no emotions.