rose: delete dead code for cloneVertex

diff --git a/src/rose/rose_build_impl.h b/src/rose/rose_build_impl.h
index 8748a08c1ab993f73836d5e9469aa2fc3aca63e3..dd0752f6b243ca6073991591759c7a0a215a107e 100644 (file)
--- a/src/rose/rose_build_impl.h
+++ b/src/rose/rose_build_impl.h
@@ -509,8 +509,6 @@ public:
     // Is the Rose anchored?
     bool hasNoFloatingRoots() const;
 
-    RoseVertex cloneVertex(RoseVertex v);
-
     u32 calcHistoryRequired() const;
 
     rose_group getInitialGroups() const;

diff --git a/src/rose/rose_build_misc.cpp b/src/rose/rose_build_misc.cpp
index 142bf138e571f678e002fbf9e7a0265e3725cb7d..549cc4f1cca1a1f585ef8b85fff01ac36359cd07 100644 (file)
--- a/src/rose/rose_build_misc.cpp
+++ b/src/rose/rose_build_misc.cpp
@@ -866,17 +866,6 @@ bool operator<(const RoseEdgeProps &a, const RoseEdgeProps &b) {
     return false;
 }
 
-// Note: only clones the vertex, you'll have to wire up your own edges.
-RoseVertex RoseBuildImpl::cloneVertex(RoseVertex v) {
-    RoseVertex v2 = add_vertex(g[v], g);
-
-    for (const auto &lit_id : g[v2].literals) {
-        literal_info[lit_id].vertices.insert(v2);
-    }
-
-    return v2;
-}
-
 #ifndef NDEBUG
 bool roseHasTops(const RoseBuildImpl &build, RoseVertex v) {
     const RoseGraph &g = build.g;