gcc patch #138231: Success