https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118806
--- Comment #3 from Georg-Johann Lay <gjl at gcc dot gnu.org> --- ...or let me state is this way: This PR implements an optimization that is activated by some option (-mno-call-main). What's unusual is that it is activated by the no- version of the option, and -mcall-main means "don't perform this optimization". When the optimization is on, it will even be performed when main isn't [[noreturn]], i.e. with -mno-call-main the user effectively asserts that main is noreturn even without an explicit [[noreturn]].
