[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
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #2 from Martin Sebor <msebor at gcc dot gnu.org> ---
Bug 80515 is about the same thing and has a lengthy discussion so let me
resolve this as duplicate of the former.

*** This bug has been marked as a duplicate of bug 80515 ***