https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113066
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
GCC does warn not just once but twice:
```
<source>: In function 'ub_if_reached':
<source>:2:44: warning: function declared 'noreturn' has a 'return' statement
2 | [[noreturn]] inline void ub_if_reached() { return; }
| ^~~~~~
<source>:2:44: warning: 'noreturn' function does return
2 | [[noreturn]] inline void ub_if_reached() { return; }
| ^
```
