From c1bc61ba88e76680e1fba72fc7cf9a7f9b14867e Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 26 Jun 2009 00:39:45 +0000
Subject: [PATCH] fix bugs

---
 Robust/src/IR/Flat/Inliner.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Robust/src/IR/Flat/Inliner.java b/Robust/src/IR/Flat/Inliner.java
index 77e37c72..61f3fa50 100644
--- a/Robust/src/IR/Flat/Inliner.java
+++ b/Robust/src/IR/Flat/Inliner.java
@@ -130,7 +130,7 @@ public class Inliner {
 	  for(int i=0;i<fn.numNext();i++) {
 	    FlatNode fnnext=fn.getNext(i);
 	    FlatNode fnnextclone=flatmap.get(fnnext);
-	    fnclone.addNext(fnnextclone);
+	    fnclone.setNewNext(i, fnnextclone);
 	  }
 	} else {
 	  fnclone.addNext(aftercallnode);
@@ -142,6 +142,8 @@ public class Inliner {
 	FlatNode fnprev=fc.getPrev(i);
 	for(int j=0;j<fnprev.numNext();j++) {
 	  if (fnprev.getNext(j)==fc) {
+	    //doing setnewnext to avoid changing the node we are
+	    //iterating over
 	    fnprev.setNewNext(j, first);
 	    break;
 	  }
-- 
2.34.1