From 30e0f78c16c23b4baf945f2872aff541cc2fc503 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 9 Jan 2023 10:00:33 -0800 Subject: [PATCH] remove exit Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/array_rewriter.cpp | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/src/ast/rewriter/array_rewriter.cpp b/src/ast/rewriter/array_rewriter.cpp index 58e807fd7..e580eb82d 100644 --- a/src/ast/rewriter/array_rewriter.cpp +++ b/src/ast/rewriter/array_rewriter.cpp @@ -207,7 +207,7 @@ br_status array_rewriter::mk_select_same_store(unsigned num_args, expr * const * result = std::move(tmp); \ return status; \ } \ - goto exit + return BR_FAILED; while (true) { if (m_util.is_store(arg0)) { @@ -228,8 +228,8 @@ br_status array_rewriter::mk_select_same_store(unsigned num_args, expr * const * result = to_app(arg0)->get_arg(num_args); first = false; } - else if (result != to_app(arg0)->get_arg(num_args)) - goto exit; + else if (result != to_app(arg0)->get_arg(num_args)) + return BR_FAILED; arg0 = to_app(arg0)->get_arg(0); continue; } @@ -278,8 +278,6 @@ br_status array_rewriter::mk_select_same_store(unsigned num_args, expr * const * } break; } - -exit: return BR_FAILED; }