projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
exhaustive arity improves for benchmarks with ad=1
[IRC.git]
/
Robust
/
src
/
Analysis
/
OwnershipAnalysis
/
OwnershipGraph.java
diff --git
a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index e87ce0d3e7cf119fe023efa40696d88c8dfa882d..4084da96d684c5aef44872ec04074e7621ac2122 100644
(file)
--- a/
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
+++ b/
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
@@
-1011,7
+1011,7
@@
public class OwnershipGraph {
Iterator<ReferenceEdge> edgeItr = argLabel_i.iteratorToReferencees();
while( edgeItr.hasNext() ) {
ReferenceEdge edge = edgeItr.next();
- D_i = D_i.union(edge.getBeta()
);
+ D_i = D_i.union(edge.getBeta());
}
D_i = D_i.exhaustiveArityCombinations();