http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56345
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-02-15 15:40:33 UTC --- Ah, ah, I was staring at the file *already* using __builtin_abort and was *really* puzzled.
paolo.carlini at oracle dot com Fri, 15 Feb 2013 07:41:08 -0800
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56345
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-02-15 15:40:33 UTC --- Ah, ah, I was staring at the file *already* using __builtin_abort and was *really* puzzled.