[Bug c++/52003] New: warning about (un)existing return statement in the main function declared 'noreturn'

[Bug c++/52003] New: warning about (un)existing return statement in the main function declared 'noreturn'

[gnumaurorusso at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52003

             Bug #: 52003
           Summary: warning about (un)existing return statement in the
                    main function declared 'noreturn'
    Classification: Unclassified
           Product: gcc
           Version: 4.5.3
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: gnumaurorusso@gmail.com


this function generates the warning :

function declared 'noreturn' has a 'return' statement

(at least it does with
-funsigned-char -funsigned-bitfields -O0 -fpack-struct -fshort-enums -g2 -Wall
options)

__attribute__((noreturn)) int main(void){
   while(1);
}

[Bug c++/52003] warning about (un)existing return statement in the main function declared 'noreturn'

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52003

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-01-26 00:14:40 UTC ---
That's not the right syntax for declaring attributes of functions.

[Bug c++/52003] warning about (un)existing return statement in the main function declared 'noreturn'

[pinskia at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52003

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-26 00:18:15 UTC ---
main has an implicit return 0 if it follows through to the end according to the
C++ standard IIRC.

[Bug c++/52003] warning about (un)existing return statement in the main function declared 'noreturn'

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52003

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-01-26
     Ever Confirmed|0                           |1

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-01-26 11:19:02 UTC ---
(In reply to comment #2)
> main has an implicit return 0 if it follows through to the end according to the
> C++ standard IIRC.

Indeed it does.  GCC simply tells you that putting 'noreturn' on main
is not good.

If we don't want this warning maybe the C++ FE should mark that return
stmt with TREE_NO_WARNING and we should honor that flag.

[Bug c++/52003] warning about (un)existing return statement in the main function declared 'noreturn'

[gnumaurorusso at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52003

--- Comment #4 from mauro <gnumaurorusso at gmail dot com> 2012-01-27 00:27:43 UTC ---
(In reply to comment #2)
> main has an implicit return 0 if it follows through to the end according to the
> C++ standard IIRC.

Ok, I thought it was something like that.
Thanks for answer.

[Bug c++/52003] warning about (un)existing return statement in the main function declared 'noreturn'

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52003

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-14 15:43:06 UTC ---
Closing.