ENH: Use minimal exceptions

No change in C-API, maps to existing errors
ERGO-Code · Oct 21, 2023 · 998ded0 · 998ded0
1 parent 7264b18
commit 998ded0
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 4 deletions.
diff --git a/src/presolve/HPresolve.cpp b/src/presolve/HPresolve.cpp
@@ -3685,10 +3685,18 @@ HPresolve::Result HPresolve::rowPresolve(HighsPostsolveStack& postsolve_stack,
               //	      assert(non_fractional);
               if (!non_fractional) return Result::kPrimalInfeasible;
             }
-            postsolve_stack.fixedColAtLower(nonzero.index(),
-                                            model->col_lower_[nonzero.index()],
-                                            model->col_cost_[nonzero.index()],
-                                            getColumnVector(nonzero.index()));
+            try {
+              postsolve_stack.fixedColAtLower(
+                  nonzero.index(), model->col_lower_[nonzero.index()],
+                  model->col_cost_[nonzero.index()],
+                  getColumnVector(nonzero.index()));
+            } catch (const DataStackOverflow& e) {
+              highsLogUser(options->log_options, HighsLogType::kError,
+                           "Problem too large for Presolve, try without\n");
+              highsLogUser(options->log_options, HighsLogType::kInfo,
+                           "Specific error raised:\n%s\n", e.what());
+              return Result::kPrimalInfeasible;
+            }
             if (model->col_upper_[nonzero.index()] >
                 model->col_lower_[nonzero.index()])
               changeColUpper(nonzero.index(),

diff --git a/src/util/HighsDataStack.h b/src/util/HighsDataStack.h
@@ -52,6 +52,7 @@ class HighsDataStack {
     }
     std::memcpy(data.data() + dataSize, &r, sizeof(T));
   }
+
   template <typename T,
             typename std::enable_if<IS_TRIVIALLY_COPYABLE(T), int>::type = 0>
   void pop(T& r) {