https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115724
--- Comment #3 from Jamie Bainbridge <jamie.bainbridge at gmail dot com> --- Thank you for the speedy response, confirmation, and workaround. I did not think to check if error() was standard or not. Good point. No problems on prioritisation or even disregarding this. When behaviour depends on the implementation, then an annotation like __builtin_unreachable() actually seems like the correct solution.
