https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107942
Bug ID: 107942 Summary: [10/11/12/13 Regression] Documentation of the volatile style for noreturn is gone Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: documentation Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: pinskia at gcc dot gnu.org Target Milestone: --- r5-7698-g8648c55f3b703a removed the documentation of the volatile style of noreturn even though it is still implemented as of today. Take: ``` typedef void voidfn (); volatile voidfn fatal; void fatal() {} ``` This still warns today with the C front-end: <source>: In function 'fatal': <source>:8:1: warning: 'noreturn' function does return 8 | } | ^ The reasoning why the documentation was removed was it references an (real) old version of GCC.