From e0605b70c359832fa1c274eb6f8d9242dff52953 Mon Sep 17 00:00:00 2001 From: reuk Date: Wed, 22 Nov 2017 11:52:03 +0000 Subject: [PATCH] Fix iterator equality check bug in dependence_graph.cpp --- src/analyses/dependence_graph.cpp | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/analyses/dependence_graph.cpp b/src/analyses/dependence_graph.cpp index af9a3aed953..6d691528ca8 100644 --- a/src/analyses/dependence_graph.cpp +++ b/src/analyses/dependence_graph.cpp @@ -188,7 +188,7 @@ void dep_graph_domaint::transform( goto_programt::const_targett to, ai_baset &ai, const namespacet &ns, - ai_domain_baset::edge_typet /*edge_type*/) + ai_domain_baset::edge_typet edge_type) { dependence_grapht *dep_graph=dynamic_cast(&ai); assert(dep_graph!=nullptr); @@ -196,10 +196,9 @@ void dep_graph_domaint::transform( // propagate control dependencies across function calls if(from->is_function_call()) { - goto_programt::const_targett next=from; - ++next; + const goto_programt::const_targett next = std::next(from); - if(next==to) + if(edge_type == ai_domain_baset::edge_typet::FUNCTION_LOCAL) { control_dependencies(from, to, *dep_graph); }