[REFACTOR] Rename pointer_size_mapt to type_size_mapt in pointer_size_mapping.cpp

Author: NlightNFotis

src/solvers/smt2_incremental/pointer_size_mapping.cpp

@@ -13,7 +13,7 @@
 void associate_pointer_sizes(
   const exprt &expression,
   const namespacet &ns,
-  pointer_size_mapt &pointer_size_map,
+  type_size_mapt &type_size_map,
   const smt_object_mapt &object_map,
   const smt_object_sizet::make_applicationt &object_size)
 {
@@ -22,8 +22,8 @@ void associate_pointer_sizes(
       const auto &pointer_type =
         type_try_dynamic_cast<pointer_typet>(sub_expression.type()))
     {
-      const auto find_result = pointer_size_map.find(pointer_type->base_type());
-      if(find_result != pointer_size_map.cend())
+      const auto find_result = type_size_map.find(pointer_type->base_type());
+      if(find_result != type_size_map.cend())
         return;
       exprt pointer_size_expr;
       // There's a special case for a pointer subtype here: the case where the pointer is `void *`. This means
@@ -40,8 +40,8 @@ void associate_pointer_sizes(
         pointer_size_expr = pointer_size_opt.value();
       }
       auto pointer_size_term = convert_expr_to_smt(
-        pointer_size_expr, object_map, pointer_size_map, object_size);
-      pointer_size_map.emplace_hint(
+        pointer_size_expr, object_map, type_size_map, object_size);
+      type_size_map.emplace_hint(
         find_result, pointer_type->base_type(), pointer_size_term);
     }
   });

src/solvers/smt2_incremental/pointer_size_mapping.h

@@ -14,19 +14,18 @@
 
 #include <unordered_map>
 
-using pointer_size_mapt = std::unordered_map<typet, smt_termt, irep_full_hash>;
+using type_size_mapt = std::unordered_map<typet, smt_termt, irep_full_hash>;
 
-/// Establish pointer-sizes map for all pointers present in the
-/// expression argument.
+/// This function creates a map of types to their related sizes (in bytes).
 /// \param expression: the expression we're building the map for.
 /// \param ns: a namespace - passed to size_of_expr to find expression sizes.
-/// \param pointer_size_map: the map containing the pointer.base_type() -> size (in bytes) mappings.
+/// \param type_size_map: the map containing the sizes. Initially empty, by the function.
 /// \param object_map: passed through to convert_expr_to_smt
 /// \param object_size: passed through to convert_expr_to_smt
 void associate_pointer_sizes(
   const exprt &expression,
   const namespacet &ns,
-  pointer_size_mapt &pointer_size_map,
+  type_size_mapt &type_size_map,
   const smt_object_mapt &object_map,
   const smt_object_sizet::make_applicationt &object_size);