From 1a07c6c18803ba7165e1c11461ed1193da556cbd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 26 Jul 2017 20:48:49 -0700
Subject: [PATCH] address ASAN bug report #1160

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/simplex/model_based_opt.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/math/simplex/model_based_opt.cpp b/src/math/simplex/model_based_opt.cpp
index c31eabb62..561f4c47a 100644
--- a/src/math/simplex/model_based_opt.cpp
+++ b/src/math/simplex/model_based_opt.cpp
@@ -954,7 +954,8 @@ namespace opt {
             row& r1 = m_rows[row_id1];
             vector<var> coeffs;
             mk_coeffs_without(coeffs, r1.m_vars, x);
-            add_divides(coeffs, r1.m_coeff, abs(a));
+            rational c = r1.m_coeff;
+            add_divides(coeffs, c, abs(a));
         }
         unsigned_vector const& row_ids = m_var2row_ids[x];
         uint_set visited;