Skip to content

Commit 4700bf4

Browse files
zhixing-xutautschnig
authored andcommitted
get_loop_info class modification, remove find_dep function
1 parent b642dc7 commit 4700bf4

File tree

3 files changed

+249
-118
lines changed

3 files changed

+249
-118
lines changed

src/analyses/dependence_graph.cpp

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -243,6 +243,11 @@ dep_graph_domaint::depst dep_graph_domaint::get_data_deps() const
243243
return data_deps;
244244
}
245245

246+
dep_graph_domaint::depst dep_graph_domaint::get_control_deps() const
247+
{
248+
return control_deps;
249+
}
250+
246251
void dep_graph_domaint::output(
247252
std::ostream &out,
248253
const ai_baset &,

src/analyses/dependence_graph.h

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -94,7 +94,8 @@ class dep_graph_domaint:public ai_domain_baset
9494
const namespacet &ns) const final override;
9595

9696
typedef std::set<goto_programt::const_targett> depst;
97-
depst get_data_deps() const;
97+
depst get_data_deps() const;
98+
depst get_control_deps() const;
9899

99100
jsont output_json(
100101
const ai_baset &ai,

0 commit comments

Comments
 (0)