gcc patch #142237: Success