projects
/
satune.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
8806dcf
)
Bug fix for cloning ...
author
Hamed Gorjiara
<hgorjiar@uci.edu>
Thu, 3 May 2018 00:18:30 +0000
(17:18 -0700)
committer
Hamed Gorjiara
<hgorjiar@uci.edu>
Thu, 3 May 2018 00:18:30 +0000
(17:18 -0700)
src/AST/element.cc
patch
|
blob
|
history
diff --git
a/src/AST/element.cc
b/src/AST/element.cc
index d09db20631e9a56e4ca8162ce4fbcf690025b513..565187afc1ab5996f85be63b8a4c8a79790b2223 100644
(file)
--- 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);
}
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;
}
return e;
}