25 if(abstract_state->is_top())
28 if(
loc->source_location.get_line().empty())
31 return loc->source_location.full_path();
35 static std::set<std::string>
38 std::set<std::string> files;
46 files.insert(
file.value());
55 const std::string &src,
56 const std::string &indent_line,
59 const std::size_t p = indent_line.find_first_not_of(
" \t");
60 const std::string indent =
61 p == std::string::npos ? std::string(
"") : std::string(indent_line, 0, p);
62 std::istringstream in(src);
64 while(std::getline(in, src_line))
65 out << indent << src_line <<
'\n';
70 const std::string &source_file,
76 std::ifstream in(
widen(source_file));
78 std::ifstream in(source_file);
85 message.
warning() <<
"Failed to open `" << source_file <<
"'"
90 std::map<std::size_t, ai_baset::locationt> line_map;
99 if(
file.has_value() &&
file.value() == source_file)
101 const std::size_t line_no =
102 stoull(
id2string(i_it->source_location.get_line()));
103 if(line_map.find(line_no) == line_map.end())
104 line_map[line_no] = i_it;
113 for(std::size_t line_no = 1; std::getline(in, line); line_no++)
115 const auto map_it = line_map.find(line_no);
116 if(map_it != line_map.end())
119 std::ostringstream state_str;
120 abstract_state->output(state_str, ai, ns);
121 if(!state_str.str().empty())
143 for(
const auto &source_file : source_files)