projects
/
repair.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
3075395
)
Fixed transitive closure computation.
author
bdemsky
<bdemsky>
Wed, 1 Jun 2005 05:07:52 +0000
(
05:07
+0000)
committer
bdemsky
<bdemsky>
Wed, 1 Jun 2005 05:07:52 +0000
(
05:07
+0000)
Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
patch
|
blob
|
history
diff --git
a/Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
b/Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
index 878f9392c108b68140434479ca871e6a54a6c042..270af789be65255fe78c16da8a091ce922889719 100755
(executable)
--- a/
Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
+++ b/
Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
@@
-53,8
+53,7
@@
public class GraphAnalysis {
/** Check for cycles if the graphnode can't
* be removed (we know we aren't introducing
* new things to repair). */
/** Check for cycles if the graphnode can't
* be removed (we know we aren't introducing
* new things to repair). */
- if ((!termination.abstractrepair.contains(gn3)&&
- cantremove.contains(gn3))||
+ if (cantremove.contains(gn3)||
cantremovetrans.contains(gn3)) {
needcyclecheck=true;
} else return false;
cantremovetrans.contains(gn3)) {
needcyclecheck=true;
} else return false;
@@
-63,9
+62,11
@@
public class GraphAnalysis {
goodoption=true;
workset.push(gn3);
}
goodoption=true;
workset.push(gn3);
}
- if (!goodoption) {
+ if (!goodoption
&&!cantremovetrans.contains(gn2)
) {
if (termination.scopenodes.contains(gn2))
return false;
if (termination.scopenodes.contains(gn2))
return false;
+ if (termination.abstractrepair.contains(gn2))
+ return false;
}
}
}
}
}
}