Bug fix: Empty sized element

[satune.git] / src / ASTTransform / elementopt.cc

diff --git a/src/ASTTransform/elementopt.cc b/src/ASTTransform/elementopt.cc
index 413d5ddf427d6517ce6a8329981f3b7bc21c3baa..9cd32653d14d1fe7b8373bdc7529d20322437765 100644 (file)
--- 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;