Searched refs:saved_opsource_offset (Results 1 – 1 of 1) sorted by relevance
1015 std::vector<std::string>::size_type saved_opsource_offset = 0; in GenerateSourceMessages() local1033 saved_opsource_offset = std::distance(opsource_lines.begin(), it); in GenerateSourceMessages()1042 (reported_line_number - saved_line_number) + 1 + saved_opsource_offset; in GenerateSourceMessages()