28 unsigned thread_nr = 0;
29 bool thread_nr_set =
false;
31 if(!val.empty() && isdigit(val[0]) && val.find(
":") != std::string::npos)
33 std::string nr = val.substr(0, val.find(
":"));
36 val.erase(0, nr.size() + 1);
39 if(val.rfind(
":") != std::string::npos)
41 std::string
id = val.substr(0, val.rfind(
":"));
42 std::string uw_string = val.substr(val.rfind(
":") + 1);
61 for(
auto &element : unwindset)
63 std::vector<std::string> unwindset_elements =
66 for(
auto &element : unwindset_elements)
78 thread_loop_map.find(std::pair<irep_idt, unsigned>(loop_id, thread_nr));
98 std::ifstream
file(file_name);
102 throw "cannot open file "+file_name;
104 std::stringstream buffer;
105 buffer <<
file.rdbuf();
107 std::vector<std::string> unwindset_elements =
110 for(
auto &element : unwindset_elements)