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; }
      |                                            ^
```

Reply via email to