gcc patch #142631: Success