From: bdemsky <bdemsky@uci.edu>
Date: Wed, 20 Sep 2017 21:09:30 +0000 (-0700)
Subject: Another bug fix
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=a5467b259e781d8414264eb89ee52a52bbef64c0

Another bug fix
---

diff --git a/src/ASTAnalyses/Encoding/encodinggraph.cc b/src/ASTAnalyses/Encoding/encodinggraph.cc
index 28255ec..6589976 100644
--- a/src/ASTAnalyses/Encoding/encodinggraph.cc
+++ b/src/ASTAnalyses/Encoding/encodinggraph.cc
@@ -71,6 +71,8 @@ void EncodingGraph::encode() {
 					encoding->encodingArrayInitialization();
 				} else if (encodetype == BINARYINDEX) {
 					EncodingSubGraph * subgraph = graphMap.get(n);
+					if (subgraph == NULL)
+						continue;
 					uint encodingSize = subgraph->getEncodingSize(n);
 					uint paddedSize = encoding->getSizeEncodingArray(encodingSize);
 					encoding->allocInUseArrayElement(paddedSize);