Use C11's _Noreturn instead of GCC attributes.