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

["trippels at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #5 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
(In reply to Paul Eggert from comment #4)
> > main() has an implicit return 0.
> 
> That's irrelevant to the purpose of the warning. The warning is there to
> catch the common typo of a function containing a return statement even
> though it is declared 'noreturn'. But there is no typo here.
> 
> As it stands now, the 'main' function cannot have __attribute__
> ((__noreturn__)), even when 'main' is designed to never return. This
> restriction makes no sense from the user's point of view.

main always return according to the standard. If you don't use an
explicit return, the compiler will always add an implicit one.

So what you are asking for is a non standard extension.