From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 3 May 2018 00:18:30 +0000 (-0700)
Subject: Bug fix for cloning ...
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=27413a58e0ac937614ba6c6e88e1d85d0e526e49;ds=sidebyside

Bug fix for cloning ...
---

diff --git a/src/AST/element.cc b/src/AST/element.cc
index d09db20..565187a 100644
--- a/src/AST/element.cc
+++ b/src/AST/element.cc
@@ -52,7 +52,8 @@ Element *ElementFunction::clone(CSolver *solver, CloneMap *map) {
 	for (uint i = 0; i < inputs.getSize(); i++) {
 		array[i] = inputs.get(i)->clone(solver, map);
 	}
-	Element *e = solver->applyFunction(function->clone(solver, map), array, inputs.getSize(), overflowstatus->clone(solver, map));
+	BooleanEdge ofstatus = overflowstatus ? cloneEdge(solver, map, overflowstatus) : BooleanEdge();
+	Element *e = solver->applyFunction(function->clone(solver, map), array, inputs.getSize(), ofstatus);
 	return e;
 }