From e59d60fbbe44876f878233d6487ed4f28d46af68 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 22 Mar 2019 10:47:11 -0700 Subject: [PATCH] Remove unnecessary null pointer checks --- src/util/lp/lar_core_solver.h | 13 +++++-------- 1 file changed, 5 insertions(+), 8 deletions(-) diff --git a/src/util/lp/lar_core_solver.h b/src/util/lp/lar_core_solver.h index 9dec5aa70..98d0912bc 100644 --- a/src/util/lp/lar_core_solver.h +++ b/src/util/lp/lar_core_solver.h @@ -235,20 +235,17 @@ public: m_r_upper_bounds.pop(k); m_column_types.pop(k); - if (m_r_solver.m_factorization != nullptr) { - delete m_r_solver.m_factorization; - m_r_solver.m_factorization = nullptr; - } + delete m_r_solver.m_factorization; + m_r_solver.m_factorization = nullptr; m_r_x.resize(m_r_A.column_count()); m_r_solver.m_costs.resize(m_r_A.column_count()); m_r_solver.m_d.resize(m_r_A.column_count()); if(!settings().use_tableau()) pop_markowitz_counts(k); m_d_A.pop(k); - if (m_d_solver.m_factorization != nullptr) { - delete m_d_solver.m_factorization; - m_d_solver.m_factorization = nullptr; - } + // doubles + delete m_d_solver.m_factorization; + m_d_solver.m_factorization = nullptr; m_d_x.resize(m_d_A.column_count()); pop_basis(k);