- // If necessary, make a copy so we can null terminate it.
- std::string NullTerminated;
- if (String0.back() != '\0') {
- NullTerminated.append(String0.data(), String0.size());
- NullTerminated.push_back('\0');
- String0 = StringRef(&NullTerminated[0], NullTerminated.size());
- }
-