On Fri, 21 Oct 2022, Arsen Arsenović via Gcc wrote: > Ping on this patch. > > https://gcc.gnu.org/pipermail/gcc-patches/2022-October/603574.html > > For context, see the rest of this thread. TL;DR is that `int main' > should implicitly return 0 on freestanding, without the other burdens of > main (hosted should remain unchanged, as well as non-int `main's). This > applies to both the C and C++ frontends. I have no objections to the C changes. -- Joseph S. Myers joseph@codesourcery.com