gcc patch #142307: Success