Fix compilation of empty arrays with empty domains. Fixes #860.

MiniZinc · Nov 7, 2024 · cb4d558 · cb4d558
1 parent a2b3761
commit cb4d558
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 1 deletion.
diff --git a/changes.rst b/changes.rst
@@ -25,6 +25,7 @@ Bug fixes:
 -  Fix bug in flattening of implication with optional right hand side.
 -  Fix flattening of ``exists`` and ``forall`` with optional arguments.
 -  Fix handling of absent values when removing unused code (:bugref:`864`).
+-  Fix compilation of empty arrays with empty domains (:bugref:`860`).
 
 .. _v2.8.7:
 

diff --git a/lib/flatten/flatten_vardecl.cpp b/lib/flatten/flatten_vardecl.cpp
@@ -26,7 +26,7 @@ EE flatten_vardecl(EnvI& env, const Ctx& ctx, Expression* e, VarDecl* r, VarDecl
     TypeInst* ti = eval_typeinst(env, Ctx(), v);
     bool isEmptyArray = false;
     for (auto* nti : ti->ranges()) {
-      if (nti->domain() != nullptr &&
+      if (nti->domain() == nullptr ||
           (Expression::isa<SetLit>(nti->domain()) && eval_intset(env, nti->domain())->empty())) {
         isEmptyArray = true;
         break;

diff --git a/tests/spec/unit/regression/test_bug_860.mzn b/tests/spec/unit/regression/test_bug_860.mzn
@@ -0,0 +1,6 @@
+/***
+!Test
+expected: !Result
+  status: SATISFIED
+***/
+array[int] of var {}: Y = [];