https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47582
--- Comment #3 from Tony Poppleton <tony.poppleton at gmail dot com> --- Ignore the last comment - hadn't spotted the "int" return value on main... So the code is actually more correct than previous versions, and no change to the status of this bug.