gcc patch #135831: Success