X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FASTAnalyses%2FEncoding%2Fsubgraph.cc;h=f75d7c8136f15211df833f0af3790f1c8a11dbf2;hp=3690ea79b5cf61786b1c84dbffacf5325f24da49;hb=0c1d68d80bf0f95947d82e20120f68ddf54f4e89;hpb=5f41b2b031712790013f031bedcf815c668b5768

diff --git a/src/ASTAnalyses/Encoding/subgraph.cc b/src/ASTAnalyses/Encoding/subgraph.cc
index 3690ea7..f75d7c8 100644
--- a/src/ASTAnalyses/Encoding/subgraph.cc
+++ b/src/ASTAnalyses/Encoding/subgraph.cc
@@ -5,7 +5,8 @@
 
 EncodingSubGraph::EncodingSubGraph() :
 	encodingSize(0),
-	numElements(0) {
+	numElements(0),
+	maxEncodingVal(0) {
 }
 
 uint hashNodeValuePair(NodeValuePair *nvp) {
@@ -60,6 +61,8 @@ void EncodingSubGraph::solveEquals() {
 			if (!encodingArray.get(encoding))
 				break;
 		}
+		if (encoding > maxEncodingVal)
+			maxEncodingVal = encoding;
 		ev->encoding = encoding;
 		ev->assigned = true;
 	}
@@ -80,6 +83,8 @@ void EncodingSubGraph::solveComparisons() {
 				while(nextIt->hasNext()) {
 					EncodingValue *nextVal=nextIt->next();
 					if (nextVal->encoding < minVal) {
+						if (minVal > maxEncodingVal)
+							maxEncodingVal = minVal;
 						nextVal->encoding = minVal;
 						discovered.add(nextVal);
 						tovisit.push(nextVal);