gcc patch #142235: Success