gcc patch #142739: Success