[Bug c++/77440] [[noreturn]] does not work at end of main().

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |diagnostic
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2018-09-14
                 CC|                            |msebor at gcc dot gnu.org
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=52003
     Ever confirmed|0                           |1

--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
Bug 52003 was closed as invalid so that would be a precedent for doing the same
with this report.  But, the Intel compiler does avoid issuing the warning and
that seems reasonable and useful to me.  Not warning on the test case (i.e.,
main) is also consistent with not issuing warning for the following:

  [[noreturn]] int f () { while(true); }

With that I will confirm this request.