projects
/
IRC.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
16c9b68
)
changes: missing nodes in SC graph
author
yeom
<yeom>
Tue, 30 Oct 2012 08:11:18 +0000
(08:11 +0000)
committer
yeom
<yeom>
Tue, 30 Oct 2012 08:11:18 +0000
(08:11 +0000)
Robust/src/Analysis/SSJava/BuildLattice.java
patch
|
blob
|
history
diff --git
a/Robust/src/Analysis/SSJava/BuildLattice.java
b/Robust/src/Analysis/SSJava/BuildLattice.java
index 931e865d3153b3a339585b253ffe4c76276ee7bd..d1c631fd32b74c3548c515af81c36cdbb281a684 100644
(file)
--- a/
Robust/src/Analysis/SSJava/BuildLattice.java
+++ b/
Robust/src/Analysis/SSJava/BuildLattice.java
@@
-81,6
+81,12
@@
public class BuildLattice {
HNode higherNode = inputGraph.getHNode(higherName);
HNode higherNode = inputGraph.getHNode(higherName);
+ if (higherNode == null) {
+ NameDescriptor d = new NameDescriptor(higherName);
+ higherNode = inputGraph.getHNode(d);
+ higherNode.setSkeleton(true);
+ }
+
if (higherNode != null && higherNode.isSharedNode()) {
lattice.addSharedLoc(higherName);
}
if (higherNode != null && higherNode.isSharedNode()) {
lattice.addSharedLoc(higherName);
}
@@
-100,6
+106,16
@@
public class BuildLattice {
String lowerName = generateElementName(basisSet, inputGraph, mapFToLocName, lower);
HNode lowerNode = inputGraph.getHNode(lowerName);
String lowerName = generateElementName(basisSet, inputGraph, mapFToLocName, lower);
HNode lowerNode = inputGraph.getHNode(lowerName);
+ if (lowerNode == null && !lowerName.equals(SSJavaAnalysis.BOTTOM)) {
+ NameDescriptor d = new NameDescriptor(lowerName);
+ lowerNode = inputGraph.getHNode(d);
+ lowerNode.setSkeleton(true);
+ }
+
+ if (lowerNode != null && !inputGraph.isDirectlyConnectedTo(higherNode, lowerNode)) {
+ inputGraph.addEdge(higherNode, lowerNode);
+ }
+
if (lowerNode != null && lowerNode.isSharedNode()) {
lattice.addSharedLoc(lowerName);
}
if (lowerNode != null && lowerNode.isSharedNode()) {
lattice.addSharedLoc(lowerName);
}