From 29763da4a7b5aaf94dc3393a14b1f1f45648321b Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 7 May 2018 11:10:48 +0000 Subject: [PATCH 1/2] Fix misleading comments: the required variant of numeric_cast does not exist --- src/util/mp_arith.h | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/util/mp_arith.h b/src/util/mp_arith.h index 4093e480628..1bab799e4f2 100644 --- a/src/util/mp_arith.h +++ b/src/util/mp_arith.h @@ -52,16 +52,16 @@ const mp_integer string2integer(const std::string &, unsigned base=10); const std::string integer2binary(const mp_integer &, std::size_t width); const mp_integer binary2integer(const std::string &, bool is_signed); -/// \deprecated use numeric_cast instead -DEPRECATED("Use numeric_cast instead") +/// \deprecated use numeric_cast_v instead +DEPRECATED("Use numeric_cast_v instead") mp_integer::ullong_t integer2ulong(const mp_integer &); -/// \deprecated use numeric_cast instead -DEPRECATED("Use numeric_cast instead") +/// \deprecated use numeric_cast_v instead +DEPRECATED("Use numeric_cast_v instead") std::size_t integer2size_t(const mp_integer &); -/// \deprecated use numeric_cast instead -DEPRECATED("Use numeric_cast instead") +/// \deprecated use numeric_cast_v instead +DEPRECATED("Use numeric_cast_v instead") unsigned integer2unsigned(const mp_integer &); const mp_integer mp_zero=string2integer("0"); From 90d59d855209684c4037159ab5482b121f59f1ef Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 7 May 2018 11:11:19 +0000 Subject: [PATCH 2/2] Remove unused global constant --- src/util/mp_arith.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/util/mp_arith.h b/src/util/mp_arith.h index 1bab799e4f2..d20bb33f29a 100644 --- a/src/util/mp_arith.h +++ b/src/util/mp_arith.h @@ -64,6 +64,4 @@ std::size_t integer2size_t(const mp_integer &); DEPRECATED("Use numeric_cast_v instead") unsigned integer2unsigned(const mp_integer &); -const mp_integer mp_zero=string2integer("0"); - #endif // CPROVER_UTIL_MP_ARITH_H