https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95001
--- Comment #5 from Niall Douglas <s_gccbugzilla at nedprod dot com> ---
Just to clarify what I'm asking for:
Calling a [[noreturn]] function ought to have the same effects on codegen as:
```
[[noreturn]] void theend();
...
if(a)
{
theend();
__builtin_unreachable();
}
```
Right now, the [[noreturn]] attribute causes the __builtin_unreachable() to be
ignored, which is not helpful.
I think there should be an implicit __builtin_unreachable() if a [[noreturn]]
function ever would return. To be specific here: I only care about codegen.
If that's not doable, can you please make a __builtin_unreachable() called
after a [[noreturn]] function not be ignored please?
