Bug#141015: c/8609: Superfluous warning when -std=c99/gnu99 and noreturn on main()

[gcc-gnats@gcc.gnu.org]

Thank you very much for your problem report.
It has the internal identification `c/8609'.
The individual assigned to look at your
report is: unassigned. 

>Category:       c
>Responsible:    unassigned
>Synopsis:       Superfluous warning when -std=c99/gnu99 and noreturn on main()
>Arrival-Date:   Sat Nov 16 05:06:03 PST 2002