Searched refs:LineNoWidth (Results 1 – 1 of 1) sorted by relevance
598 unsigned LineNoWidth = std::log10(LineCount) + 1; in DumpAnnotatedInput() local607 LabelWidth = std::max(LabelWidth, LineNoWidth) + 3; in DumpAnnotatedInput()