Add missing check for if restart_data was initialised

Gecode · Dec 14, 2023 · 4a00bc5 · 4a00bc5
1 parent ada2231
commit 4a00bc5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/gecode/flatzinc.hh b/gecode/flatzinc.hh
@@ -529,6 +529,7 @@ namespace Gecode { namespace FlatZinc {
           object(new OnRestartData());
         }
       }
+      bool initialized() const { return object() != nullptr; }
       OnRestartData& operator ()() {
         return *static_cast<OnRestartData*>(object());
       };

diff --git a/gecode/flatzinc/flatzinc.cpp b/gecode/flatzinc/flatzinc.cpp
@@ -2010,7 +2010,7 @@ namespace Gecode { namespace FlatZinc {
   bool
   FlatZincSpace::slave(const MetaInfo& mi) {
     if (mi.type() == MetaInfo::RESTART) {
-      if (restart_data().mark_complete) {
+      if (restart_data.initialized() && restart_data().mark_complete) {
         // Fail the space
         this->fail();
         // Return true to signal we are in the global search space