Separate the parsing of object-bits

So the length of `configt::set` can be marginally reduced. So that this
functionality can be documented. This would also support unit testing
of this parsing if unit tests are added later.

Author: thomasspriggs

src/util/config.cpp

@@ -765,6 +765,32 @@ void configt::set_arch(const irep_idt &arch)
   }
 }
 
+/// \brief Parses the `object_bits` argument from the command line arguments.
+/// \param argument The command line argument to parse the `object_bits` from.
+/// \param pointer_width The width of a pointer in bits. This is used to check
+///   the value of object_bits is within the valid range.
+/// \return A `bv_encodingt` on successful parsing. In the case where an invalid
+///    argument is specified, an `invalid_command_line_argument_exceptiont` will
+///    be thrown.
+configt::bv_encodingt parse_object_bits_encoding(
+  const std::string &argument,
+  const std::size_t pointer_width)
+{
+  const unsigned int object_bits = unsafe_string2unsigned(argument);
+  if(object_bits <= 0 || object_bits >= pointer_width)
+  {
+    throw invalid_command_line_argument_exceptiont(
+      "object-bits must be positive and less than the pointer width (" +
+        std::to_string(pointer_width) + ") ",
+      "--object_bits");
+  }
+
+  configt::bv_encodingt bv_encoding;
+  bv_encoding.object_bits = object_bits;
+  bv_encoding.is_object_bits_default = false;
+  return bv_encoding;
+}
+
 bool configt::set(const cmdlinet &cmdline)
 {
   // defaults -- we match the architecture we have ourselves
@@ -1074,19 +1100,8 @@ bool configt::set(const cmdlinet &cmdline)
 
   if(cmdline.isset("object-bits"))
   {
-    bv_encoding.object_bits=
-      unsafe_string2unsigned(cmdline.get_value("object-bits"));
-
-    if(!(0<bv_encoding.object_bits &&
-         bv_encoding.object_bits<ansi_c.pointer_width))
-    {
-      throw invalid_command_line_argument_exceptiont(
-        "object-bits must be positive and less than the pointer width (" +
-          std::to_string(ansi_c.pointer_width) + ") ",
-        "--object_bits");
-    }
-
-    bv_encoding.is_object_bits_default = false;
+    bv_encoding = parse_object_bits_encoding(
+      cmdline.get_value("object-bits"), ansi_c.pointer_width);
   }
 
   if(cmdline.isset("malloc-fail-assert") && cmdline.isset("malloc-fail-null"))