From e6401908a529cfe1112edfb74ce8d09a103fc973 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 25 May 2018 13:41:57 -0700 Subject: [PATCH] fix crash Signed-off-by: Nikolaj Bjorner --- src/qe/qe_arrays.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/qe/qe_arrays.cpp b/src/qe/qe_arrays.cpp index 1701ce742..1b3bd6c20 100644 --- a/src/qe/qe_arrays.cpp +++ b/src/qe/qe_arrays.cpp @@ -802,8 +802,9 @@ namespace qe { */ expr* reduce_core (app *a) { if (!m_arr_u.is_store (a->get_arg (0))) return a; - unsigned arity = get_array_arity(m.get_sort(a)); - expr* array = a->get_arg (0); + expr* array = a->get_arg(0); + unsigned arity = get_array_arity(m.get_sort(array)); + expr* const* js = a->get_args() + 1; while (m_arr_u.is_store (array)) {