https://gcc.gnu.org/bugzilla/show_bug.cgi?id=34938
Paolo Carlini <paolo.carlini at oracle dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work| |4.8.3, 4.9.1, 5.0
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Thus I'm closing the bug as fixed.
Before that I'm committing to mainline a tweak to the diagnostic, ensuring that
we actually print __attribute((noreturn)) instead of volatile.
