From: bdemsky <bdemsky>
Date: Wed, 1 Jun 2005 05:45:44 +0000 (+0000)
Subject: Small improvement.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d94a06899103f588dfb60a5b2fb2e15654657eb9;p=repair.git

Small improvement.
---

diff --git a/Repair/RepairCompiler/MCC/IR/GraphAnalysis.java b/Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
index 270af78..875baa2 100755
--- a/Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
+++ b/Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
@@ -56,6 +56,9 @@ public class GraphAnalysis {
 			if (cantremove.contains(gn3)||
 			    cantremovetrans.contains(gn3)) {
 			    needcyclecheck=true;
+			} else if (termination.updatenodes.contains(gn3)&&
+				   !couldremove.contains(gn3)) {
+			    needcyclecheck=true;
 			} else return false;
 		    }
 		    if ((!couldremove.contains(gn3))||cantremove.contains(gn3))