gcc patch #138517: Success