gcc patch #142231: Success