X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FIR%2FGraphAnalysis.java;h=16a51f781861c0a263d3f88e263f629778309427;hp=3a5d56fdaa06b1e847f865adc7f543bcf1e57b19;hb=f9e84f661a348d52ec5a96e246f028e3cb102fb4;hpb=75670c5c42cf7f4ec4a0d681db1200317ec29284

diff --git a/Repair/RepairCompiler/MCC/IR/GraphAnalysis.java b/Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
index 3a5d56f..16a51f7 100755
--- a/Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
+++ b/Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
@@ -359,7 +359,7 @@ public class GraphAnalysis {
 			if (!containsgn3)
 			    cantremove.remove(gn3);
 		    }
-		    if (ismodify&&((numadd==0)||(numremove==0))) {
+		    if (ismodify&&((numadd==0)||(numremove==0&&ar.needsRemoves(termination.state)))) {
 			for (Iterator edgeit2=gn2.edges();edgeit2.hasNext();) {
 			    GraphNode.Edge e2=(GraphNode.Edge)edgeit2.next();
 			    GraphNode gn3=e2.getTarget();
@@ -529,7 +529,7 @@ public class GraphAnalysis {
 			    numremove++;
 		    }
 		}
-		if ((numadd==0)||(numremove==0)) {
+		if ((numadd==0)||(numremove==0&&ar.needsRemoves(termination.state))) {
 		    for(Iterator it2=gn.edges();it2.hasNext();) {
 			GraphNode.Edge edge=(GraphNode.Edge)it2.next();
 			GraphNode gn2=edge.getTarget();