Searched refs:doesAllowNameToStartWithDigit (Results 1 – 2 of 2) sorted by relevance
53 if (!MAI.doesAllowNameToStartWithDigit() && Str[0] >= '0' && Str[0] <= '9') in NameNeedsEscaping()71 if (!MAI.doesAllowNameToStartWithDigit() && Str[0] >= '0' && Str[0] <= '9') { in appendMangledName()
484 bool doesAllowNameToStartWithDigit() const { in doesAllowNameToStartWithDigit() function