bv_pointerst: remove obvious declarators

This removes various obvious declarators from method declarations in
bv_pointerst.

Author: kroening

src/solvers/flattening/bv_pointers.h

@@ -19,62 +19,57 @@ class bv_pointerst:public boolbvt
 {
 public:
   bv_pointerst(
-    const namespacet &_ns,
-    propt &_prop,
-    message_handlert &message_handler,
+    const namespacet &,
+    propt &,
+    message_handlert &,
     bool get_array_constraints = false);
 
   void finish_eager_conversion() override;
 
   endianness_mapt
-  endianness_map(const typet &type, bool little_endian) const override;
+  endianness_map(const typet &, bool little_endian) const override;
 
 protected:
   pointer_logict pointer_logic;
 
-  std::size_t get_object_width(const pointer_typet &type) const;
-  std::size_t get_offset_width(const pointer_typet &type) const;
-  std::size_t get_address_width(const pointer_typet &type) const;
+  std::size_t get_object_width(const pointer_typet &) const;
+  std::size_t get_offset_width(const pointer_typet &) const;
+  std::size_t get_address_width(const pointer_typet &) const;
 
   // NOLINTNEXTLINE(readability/identifiers)
   typedef boolbvt SUB;
 
   NODISCARD
-  bvt encode(std::size_t object, const pointer_typet &type) const;
+  bvt encode(std::size_t object, const pointer_typet &) const;
 
-  virtual bvt convert_pointer_type(const exprt &expr);
+  virtual bvt convert_pointer_type(const exprt &);
 
   NODISCARD
-  virtual bvt add_addr(const exprt &expr);
+  virtual bvt add_addr(const exprt &);
 
   // overloading
-  literalt convert_rest(const exprt &expr) override;
-  bvt convert_bitvector(const exprt &expr) override; // no cache
+  literalt convert_rest(const exprt &) override;
+  bvt convert_bitvector(const exprt &) override; // no cache
 
-  exprt bv_get_rec(
-    const exprt &expr,
-    const bvt &bv,
-    std::size_t offset,
-    const typet &type) const override;
+  exprt
+  bv_get_rec(const exprt &, const bvt &, std::size_t offset, const typet &)
+    const override;
 
   NODISCARD
-  optionalt<bvt> convert_address_of_rec(const exprt &expr);
+  optionalt<bvt> convert_address_of_rec(const exprt &);
 
   NODISCARD
-  bvt offset_arithmetic(
-    const pointer_typet &type,
-    const bvt &bv,
-    const mp_integer &x);
+  bvt offset_arithmetic(const pointer_typet &, const bvt &, const mp_integer &);
   NODISCARD
   bvt offset_arithmetic(
-    const pointer_typet &type,
-    const bvt &bv,
+    const pointer_typet &,
+    const bvt &,
     const mp_integer &factor,
     const exprt &index);
   NODISCARD
   bvt offset_arithmetic(
-    const pointer_typet &type,
-    const bvt &bv,
+    const pointer_typet &,
+    const bvt &,
     const mp_integer &factor,
     const bvt &index_bv);