[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 #9 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
But for C++:

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

is warning free in clang++ and icpc.