gcc patch #142507: Success