gcc patch #142457: Success