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.

Reply via email to