gcc patch #142437: Success