gcc patch #142637: Success