From 658e5ee24f30724facc4833b91f96bce27076e39 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 26 Apr 2022 13:33:14 +0100 Subject: [PATCH] bv_utilst::sign_extension, zero_extension and zeros can be static These methods do not use any state of bv_utilst and can therefore be static. --- src/solvers/flattening/bv_utils.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/solvers/flattening/bv_utils.h b/src/solvers/flattening/bv_utils.h index 35a64eec59b..1b988cda0c6 100644 --- a/src/solvers/flattening/bv_utils.h +++ b/src/solvers/flattening/bv_utils.h @@ -179,17 +179,17 @@ class bv_utilst static bvt extension(const bvt &bv, std::size_t new_size, representationt rep); - bvt sign_extension(const bvt &bv, std::size_t new_size) + static bvt sign_extension(const bvt &bv, std::size_t new_size) { return extension(bv, new_size, representationt::SIGNED); } - bvt zero_extension(const bvt &bv, std::size_t new_size) + static bvt zero_extension(const bvt &bv, std::size_t new_size) { return extension(bv, new_size, representationt::UNSIGNED); } - bvt zeros(std::size_t new_size) const + static bvt zeros(std::size_t new_size) { bvt result; result.resize(new_size, const_literal(false));