diff --git a/src/util/lp/lp_primal_core_solver.h b/src/util/lp/lp_primal_core_solver.h
index 3fada1e5d..f77aae6eb 100644
--- a/src/util/lp/lp_primal_core_solver.h
+++ b/src/util/lp/lp_primal_core_solver.h
@@ -460,6 +460,7 @@ public:
             break;
         default:
             lean_assert(false);
+            new_val_for_leaving = numeric_traits<T>::zero(); // does not matter
         }
         return j;
     }
diff --git a/src/util/lp/lp_primal_core_solver.hpp b/src/util/lp/lp_primal_core_solver.hpp
index 47eec468a..969d56812 100644
--- a/src/util/lp/lp_primal_core_solver.hpp
+++ b/src/util/lp/lp_primal_core_solver.hpp
@@ -1139,6 +1139,7 @@ lp_primal_core_solver<T, X>::get_infeasibility_cost_for_column(unsigned j) const
         break;
     default:
         lean_assert(false);
+        ret = numeric_traits<T>::zero(); // does not matter
         break;
     }