[Bug c/80515] __attribute__ ((__noreturn__)) false alarm for 'main'

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80515

--- Comment #10 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
See also 
https://cplusplus.github.io/EWG/ewg-active.html#162