bug fix

[c11tester.git] / cyclegraph.cc

diff --git a/cyclegraph.cc b/cyclegraph.cc
index adafb0e126779ab6da734f18cf937de9509c0aea..7cfd21c87ef1168f86d059d0b19a5054bf7487a4 100644 (file)
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -138,20 +138,20 @@ void CycleGraph::addRMWEdge(const ModelAction *from, const ModelAction *rmw)
 }
 
 void CycleGraph::addEdges(SnapList<ModelAction *> * edgeset, const ModelAction *to) {
-       for(SnapList<ModelAction*>::iterator it = edgeset->begin();it!=edgeset->end();) {
+  for(SnapList<ModelAction*>::iterator it = edgeset->begin();it!=edgeset->end();) {
                ModelAction *act = *it;
                CycleNode *node = getNode(act);
                SnapList<ModelAction*>::iterator it2 = it;
                it2++;
                for(;it2!=edgeset->end(); ) {
-                       ModelAction *act2 = *it;
+                       ModelAction *act2 = *it2;
                        CycleNode *node2 = getNode(act2);
                        if (checkReachable(node, node2)) {
-                               it = edgeset->erase(it);
-                               goto endouterloop;
+                         it = edgeset->erase(it);
+                         goto endouterloop;
                        } else if (checkReachable(node2, node)) {
-                               it2 = edgeset->erase(it2);
-                               goto endinnerloop;
+                         it2 = edgeset->erase(it2);
+                         goto endinnerloop;
                        }
                        it2++;
 endinnerloop:
@@ -160,8 +160,8 @@ endinnerloop:
                it++;
 endouterloop:
                ;
-       }
-       for(SnapList<ModelAction*>::iterator it = edgeset->begin();it!=edgeset->end();it++) {
+  }
+  for(SnapList<ModelAction*>::iterator it = edgeset->begin();it!=edgeset->end();it++) {
                ModelAction *from = *it;
                addEdge(from, to, from->get_tid() == to->get_tid());
        }