https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61379
--- Comment #6 from k4lizen at proton dot me ---
I understand what you're saying but I'm hoping that there would be *some*
solution for annotating such functions as noreturn. It's highly
counterintuitive that even after marking all definitions and
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61379
--- Comment #4 from k4lizen at proton dot me ---
re: jakub
Does what you're saying also apply to
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117337 ?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117337
Bug ID: 117337
Summary: Wreturn-type false positive on [[noreturn]] override
Product: gcc
Version: 14.2.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Comp