348   StringRef MajorStr, MinorStr;  in getExtensionVersion()  local
356     MinorStr = In.take_while(isDigit);  in getExtensionVersion()
357     In = In.substr(MajorStr.size() + MinorStr.size() - 1);  in getExtensionVersion()
360     if (MinorStr.empty()) {  in getExtensionVersion()
372   if (!MinorStr.empty() && MinorStr.getAsInteger(10, Minor))  in getExtensionVersion()
379   if (!MinorStr.empty())  in getExtensionVersion()
380     ConsumeLength += MinorStr.size() + 1 /*'p'*/;  in getExtensionVersion()
401         (MajorStr.empty() && MinorStr.empty())) {  in getExtensionVersion()
412       if (!MinorStr.empty())  in getExtensionVersion()
413         Error += "." + MinorStr.str();  in getExtensionVersion()
427   if (MajorStr.empty() && MinorStr.empty()) {  in getExtensionVersion()
441   if (!MinorStr.empty())  in getExtensionVersion()
442     Error += "." + MinorStr.str();  in getExtensionVersion()