Introduce global constant for file local prefix in the mangler

Author: NlightNFotis

src/goto-programs/name_mangler.cpp

@@ -19,7 +19,7 @@ operator()(const symbolt &src, const std::string &extra_info)
   std::string basename = get_base_name(src.location.get_file().c_str(), false);
 
   std::stringstream ss;
-  ss << CPROVER_PREFIX << "file_local_";
+  ss << FILE_LOCAL_PREFIX;
   ss << std::regex_replace(
           std::regex_replace(basename, forbidden, "_"), multi_under, "_")
      << "_";
@@ -42,7 +42,7 @@ operator()(const symbolt &src, const std::string &extra_info)
   uint32_t eight_nibble_hash = (uint32_t)hash;
 
   std::stringstream ss;
-  ss << CPROVER_PREFIX << "file_local_" << std::setfill('0') << std::setw(8)
-     << std::hex << eight_nibble_hash << "_" << extra_info << "_" << src.name;
+  ss << FILE_LOCAL_PREFIX << std::setfill('0') << std::setw(8) << std::hex
+     << eight_nibble_hash << "_" << extra_info << "_" << src.name;
   return irep_idt(ss.str());
 }

src/goto-programs/name_mangler.h

@@ -13,6 +13,8 @@
 #include <regex>
 #include <vector>
 
+#define FILE_LOCAL_PREFIX CPROVER_PREFIX "file_local_"
+
 /// \brief Mangles the names in an entire program and its symbol table
 ///
 /// The type parameter to this class should be a functor that has a no-arg