https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61160
--- Comment #13 from Martin Jambor <jamborm at gcc dot gnu.org> --- Mea culpa, I did not check what main was returning. It should just return zero, I have just verified it would still test the bug with that change. I will fix the testcase in svn tomorrow.