From d5e9de31988e80de401b8c6f9f20b4af9f980c67 Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Wed, 9 Sep 2020 13:48:48 -0700
Subject: [PATCH] Bug fix: Empty sized element

---
 src/ASTTransform/elementopt.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/ASTTransform/elementopt.cc b/src/ASTTransform/elementopt.cc
index 413d5dd..9cd3265 100644
--- a/src/ASTTransform/elementopt.cc
+++ b/src/ASTTransform/elementopt.cc
@@ -163,7 +163,10 @@ void ElementOpt::constrainVarWithConst(BooleanPredicate *pred, ElementSet *var,
 	}
 	if (size == count)
 		return;
-
+	if(count == 0 ){
+    	solver->setUnSAT();
+		return;
+	}
 	Set *newset = solver->createSet(s->type, elemArray, count);
 	solver->elemMap.remove(var);
 	var->set = newset;
-- 
2.34.1