http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55383
--- Comment #10 from Magnus Reftel <magnus.reftel at gmail dot com> --- Applied Manuel López-Ibáñez's patch on top of trunk and tested Jeremy's testcase. Without the patch, the error message says that "__attribute__((noreturn))" is being cast away. With the patch, the error message says that "volatile" is being cast away. Running "make check" to see if there were any regressions.
