Bug fix
authorbdemsky <bdemsky@uci.edu>
Fri, 1 Sep 2017 07:02:07 +0000 (00:02 -0700)
committerbdemsky <bdemsky@uci.edu>
Fri, 1 Sep 2017 07:02:07 +0000 (00:02 -0700)
src/ASTTransform/transformer.cc
src/Backend/constraint.cc

index 54dad59..2c814ea 100644 (file)
@@ -34,7 +34,8 @@ void Transformer::orderAnalysis() {
        for (uint i = 0; i < size; i++) {
                Order *order = orders->get(i);
                decomposeOrder->setCurrentOrder(order);
-               if (!decomposeOrder->canExecuteTransform()){
+
+               if (true) {
                        continue;
                }
 
index b9a9916..8c247cc 100644 (file)
@@ -82,6 +82,8 @@ void resizeCNF(CNF *cnf, uint newCapacity) {
        uint newMask = newCapacity - 1;
        for (uint i = 0; i < oldCapacity; i++) {
                Node *n = old_array[i];
+               if (n == NULL)
+                       continue;
                uint hashCode = n->hashCode;
                uint newindex = hashCode & newMask;
                for (;; newindex = (newindex + 1) & newMask) {
@@ -135,6 +137,7 @@ Edge createNode(CNF *cnf, NodeType type, uint numEdges, Edge *edges) {
                }
        }
        *n_ptr = allocNode(type, numEdges, edges, hashvalue);
+       cnf->size++;
        Edge e = {*n_ptr};
        return e;
 }