Searched refs:m_solver (Results 1 – 1 of 1) sorted by relevance
103 path_range_query *m_solver; member in back_threader150 m_solver = new path_range_query (flags & BT_RESOLVE); in back_threader()155 delete m_solver; in ~back_threader()295 m_solver->compute_ranges (path, m_imports); in find_taken_edge_switch()296 m_solver->range_of_expr (r, name, sw); in find_taken_edge_switch()319 m_solver->compute_ranges (path, m_imports); in find_taken_edge_cond()320 m_solver->range_of_stmt (r, cond); in find_taken_edge_cond()322 if (m_solver->unreachable_path_p ()) in find_taken_edge_cond()489 m_solver->compute_imports (m_imports, bb); in find_paths()551 m_solver->dump (out); in dump()