gcc patch #142037: Success