-#include "mc_forward.h"
-#include "mc_location.h"
-#include "mc_process.h"
-#include "../smpi/private.h"
-
-SG_BEGIN_DECL();
-
-// ***** Type
-
-typedef int e_dw_type_type;
-
-struct s_dw_type {
- s_dw_type();
- ~s_dw_type();
-
- e_dw_type_type type = 0;
- Dwarf_Off id = 0; /* Offset in the section (in hexadecimal form) */
- char *name = nullptr; /* Name of the type */
- int byte_size = 0; /* Size in bytes */
- int element_count = 0; /* Number of elements for array type */
- char *dw_type_id = nullptr; /* DW_AT_type id */
- xbt_dynar_t members = nullptr; /* if DW_TAG_structure_type, DW_TAG_class_type, DW_TAG_union_type*/
- int is_pointer_type = 0;
-
- // Location (for members) is either of:
- struct s_mc_expression location = { 0, 0, 0, 0 };
- int offset = 0;
-
- dw_type_t subtype = nullptr; // DW_AT_type
- dw_type_t full_type = nullptr; // The same (but more complete) type
-};
-
-XBT_INTERNAL void dw_variable_free(dw_variable_t v);
-XBT_INTERNAL void dw_variable_free_voidp(void *t);
-
-// ***** Object info
-
-/** Bit field of options */
-typedef int mc_object_info_flags;
-#define MC_OBJECT_INFO_NONE 0
-#define MC_OBJECT_INFO_EXECUTABLE 1
-
-struct s_mc_object_info {
- s_mc_object_info();
- ~s_mc_object_info();
- s_mc_object_info(s_mc_object_info const&) = delete;
- s_mc_object_info& operator=(s_mc_object_info const&) = delete;
-
- mc_object_info_flags flags = 0;
- char* file_name = nullptr;
- const void* start = nullptr;
- const void *end = nullptr;
- char *start_exec = nullptr;
- char *end_exec = nullptr; // Executable segment
- char *start_rw = nullptr;
- char *end_rw = nullptr; // Read-write segment
- char *start_ro = nullptr;
- char *end_ro = nullptr; // read-only segment
- xbt_dict_t subprograms = nullptr; // xbt_dict_t<origin as hexadecimal string, dw_frame_t>
- xbt_dynar_t global_variables = nullptr; // xbt_dynar_t<dw_variable_t>
- xbt_dict_t types = nullptr; // xbt_dict_t<origin as hexadecimal string, dw_type_t>
- xbt_dict_t full_types_by_name = nullptr; // xbt_dict_t<name, dw_type_t> (full defined type only)
-
- // Here we sort the minimal information for an efficient (and cache-efficient)
- // lookup of a function given an instruction pointer.
- // The entries are sorted by low_pc and a binary search can be used to look them up.
- xbt_dynar_t functions_index = nullptr;
-};
-
-static inline __attribute__ ((always_inline))
-bool MC_object_info_executable(mc_object_info_t info)
-{
- return info->flags & MC_OBJECT_INFO_EXECUTABLE;
-}
-
-static inline __attribute__ ((always_inline))
-bool MC_object_info_is_privatized(mc_object_info_t info)
-{
- return info && MC_object_info_executable(info) && smpi_privatize_global_variables;
-}
-
-/** Find the DWARF offset for this ELF object
- *
- * An offset is applied to address found in DWARF:
- *
- * <ul>
- * <li>for an executable obejct, addresses are virtual address
- * (there is no offset) i.e. \f$\text{virtual address} = \{dwarf address}\f$;</li>
- * <li>for a shared object, the addreses are offset from the begining
- * of the shared object (the base address of the mapped shared
- * object must be used as offset
- * i.e. \f$\text{virtual address} = \text{shared object base address}
- * + \text{dwarf address}\f$.</li>
- *
- */
-XBT_INTERNAL void* MC_object_base_address(mc_object_info_t info);
-
-XBT_INTERNAL std::shared_ptr<s_mc_object_info_t> MC_find_object_info(