751 …shader_module &shader, const uint32_t reported_file_id, std::vector<std::string> &opsource_lines) {  in ReadOpSource()  argument
758                 opsource_lines.push_back(cur_line);  in ReadOpSource()
763                     opsource_lines.push_back(cur_line);  in ReadOpSource()
907         std::vector<std::string> opsource_lines;  in GenerateSourceMessages()  local
908         ReadOpSource(shader, reported_file_id, opsource_lines);  in GenerateSourceMessages()
910         if (!opsource_lines.empty()) {  in GenerateSourceMessages()
915             for (auto it = opsource_lines.begin(); it != opsource_lines.end(); ++it) {  in GenerateSourceMessages()
931                             saved_opsource_offset = std::distance(opsource_lines.begin(), it);  in GenerateSourceMessages()
941                 if (opsource_index < opsource_lines.size()) {  in GenerateSourceMessages()
942 …   source_stream << "\n" << reported_line_number << ": " << opsource_lines[opsource_index].c_str();  in GenerateSourceMessages()
945                                   << opsource_lines.size() << " lines.";  in GenerateSourceMessages()