gcc patch #135513: Success