gcc patch #142400: Success