[Bug c/107942] New: [10/11/12/13 Regression] Documentation of the volatile style for noreturn is gone

[pinskia at gcc dot gnu.org via Gcc-bugs]

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.