gcc patch #142233: Success