#ifndef SIMGRID_XBT_RANGE_HPP
#define SIMGRID_XBT_RANGE_HPP
+#include <algorithm>
+
namespace simgrid {
namespace xbt {
/** \file compare.cpp Memory snapshooting and comparison */
-#include <cinttypes>
-
-#include <array>
-#include <memory>
-#include <set>
-#include <utility>
-#include <unordered_set>
-
-#include "xbt/dynar.h"
-#include "xbt/sysdep.h"
-#include <xbt/mmalloc.h>
-
-#include <mc/mc.h>
-#include <mc/datatypes.h>
-
-#include "src/internal_config.h"
-
-#include "src/xbt/mmalloc/mmprivate.h"
-
-#if HAVE_SMPI
-#include "src/smpi/include/private.hpp"
-#endif
-
-#include "src/mc/Frame.hpp"
-#include "src/mc/ObjectInformation.hpp"
-#include "src/mc/Type.hpp"
-#include "src/mc/Variable.hpp"
#include "src/mc/mc_config.hpp"
-#include "src/mc/mc_dwarf.hpp"
-#include "src/mc/mc_forward.hpp"
-#include "src/mc/mc_private.hpp"
#include "src/mc/mc_smx.hpp"
#include "src/mc/sosp/mc_snapshot.hpp"
xbt_assert(region1->object_info() == region2->object_info());
xbt_assert(region1->object_info());
- std::string const& name = region1->object_info()->file_name;
-
/* Compare global variables */
if (compare_global_variables(*state_comparator, region1->object_info(), simgrid::mc::ProcessIndexDisabled, region1,
region2, s1, s2)) {
#ifdef MC_DEBUG
+ std::string const& name = region1->object_info()->file_name;
XBT_DEBUG("(%d - %d) Different global variables in %s", s1->num_state, s2->num_state, name.c_str());
errors++;
#else
#ifdef MC_VERBOSE
+ std::string const& name = region1->object_info()->file_name;
XBT_VERB("(%d - %d) Different global variables in %s", s1->num_state_, s2->num_state_, name.c_str());
#endif
#include <cstdint>
#include "src/mc/AddressSpace.hpp"
-#include "src/mc/DwarfExpression.hpp"
-#include "src/mc/Frame.hpp"
-#include "src/mc/LocationList.hpp"
-#include "src/mc/ObjectInformation.hpp"
-#include "src/mc/mc_dwarf.hpp"
+#include "src/mc/inspect/DwarfExpression.hpp"
+#include "src/mc/inspect/Frame.hpp"
+#include "src/mc/inspect/LocationList.hpp"
+#include "src/mc/inspect/ObjectInformation.hpp"
+#include "src/mc/inspect/mc_dwarf.hpp"
#include "src/mc/mc_private.hpp"
using simgrid::mc::remote;
#include "xbt/sysdep.h"
-#include "src/mc/Frame.hpp"
+#include "src/mc/inspect/Frame.hpp"
namespace simgrid {
namespace mc {
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#include <cstddef>
-#include <cstdint>
-#include <utility>
+#include "src/mc/inspect/LocationList.hpp"
+#include "src/mc/inspect/ObjectInformation.hpp"
+#include "src/mc/inspect/mc_dwarf.hpp"
#include "xbt/asserts.h"
#include "xbt/sysdep.h"
+#include <cstddef>
+#include <cstdint>
#include <libunwind.h>
-
-#include "src/mc/LocationList.hpp"
-#include "src/mc/ObjectInformation.hpp"
-#include "src/mc/mc_dwarf.hpp"
+#include <utility>
namespace simgrid {
namespace dwarf {
#include <vector>
-#include "src/mc/Frame.hpp"
-#include "src/mc/ObjectInformation.hpp"
-#include "src/mc/Variable.hpp"
+#include "src/mc/inspect/Frame.hpp"
+#include "src/mc/inspect/ObjectInformation.hpp"
+#include "src/mc/inspect/Variable.hpp"
namespace simgrid {
namespace mc {
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
+#include "src/simgrid/util.hpp"
+#include "xbt/log.h"
+#include "xbt/string.hpp"
+#include "xbt/sysdep.h"
+#include <simgrid/config.h>
+
+#include "src/mc/inspect/ObjectInformation.hpp"
+#include "src/mc/inspect/Variable.hpp"
+#include "src/mc/inspect/mc_dwarf.hpp"
+#include "src/mc/mc_private.hpp"
+#include "src/mc/remote/RemoteClient.hpp"
+
#include <cinttypes>
#include <cstdint>
-
+#include <cstdlib>
+#include <fcntl.h>
#include <memory>
#include <utility>
#include <boost/range/algorithm.hpp>
-#include <cstdlib>
#include <elfutils/libdw.h>
-#include <fcntl.h>
#include <boost/algorithm/string/predicate.hpp>
-#include "src/simgrid/util.hpp"
-#include "xbt/log.h"
-#include "xbt/string.hpp"
-#include "xbt/sysdep.h"
-#include <simgrid/config.h>
-
-#include "src/mc/mc_dwarf.hpp"
-#include "src/mc/mc_private.hpp"
-
-#include "src/mc/ObjectInformation.hpp"
-#include "src/mc/Variable.hpp"
-#include "src/mc/remote/RemoteClient.hpp"
-
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_dwarf, mc, "DWARF processing");
/** @brief The default DW_TAG_lower_bound for a given DW_AT_language.
-/* Copyright (c) 2014-2019. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2014-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-/* Warning: autogenerated, do not edit! */
+#include "src/mc/inspect/mc_dwarf.hpp"
#include <string>
#include <unordered_map>
-#include "src/mc/mc_dwarf.hpp"
-
namespace {
const std::unordered_map<int, const char*> attrname_map = {
{0x01, "DW_AT_sibling"},
-/* Copyright (c) 2014-2019. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2014-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
/* Warning: autogenerated, do not edit! */
+#include "src/mc/inspect/mc_dwarf.hpp"
+
#include <string>
#include <unordered_map>
-#include "src/mc/mc_dwarf.hpp"
-
namespace {
const std::unordered_map<int, const char*> tagname_map = {
{0x00, "DW_TAG_invalid"},
-/* Copyright (c) 2014-2019. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2014-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#include "src/mc/Type.hpp"
-#include "src/mc/mc_dwarf.hpp"
+#include "src/mc/inspect/Type.hpp"
+#include "src/mc/inspect/mc_dwarf.hpp"
#include "src/mc/mc_private.hpp"
namespace simgrid {
-/* Copyright (c) 2015-2019. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2015-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
// We need this for the register indices:
// #define _GNU_SOURCE
+#include "src/mc/inspect/mc_unw.hpp"
+#include "src/mc/inspect/Frame.hpp"
+#include "src/mc/remote/RemoteClient.hpp"
+
#include <cstring>
// On x86_64, libunwind unw_context_t has the same layout as ucontext_t:
#include <libunwind.h>
-#include "src/mc/Frame.hpp"
-#include "src/mc/mc_unw.hpp"
-#include "src/mc/remote/RemoteClient.hpp"
-
using simgrid::mc::remote;
namespace simgrid {
-/* Copyright (c) 2015-2019. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2015-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
+#include "src/mc/inspect/mc_unw.hpp"
+#include "src/mc/remote/RemoteClient.hpp"
+
#include <sys/types.h>
#include <sys/uio.h>
#include <libunwind-ptrace.h>
#include <libunwind.h>
-#include "src/mc/mc_unw.hpp"
-#include "src/mc/remote/RemoteClient.hpp"
-
/** \file
* Libunwind namespace implementation using process_vm_readv.
- *.
- * This implem
*/
/** Partial structure of libunwind-ptrace context in order to get the PID
#include "src/mc/mc_hash.hpp"
#include "src/mc/mc_mmu.hpp"
#include "src/mc/mc_smx.hpp"
-#include "src/mc/mc_unw.hpp"
#include "src/mc/remote/mc_protocol.h"
#include "src/mc/sosp/mc_snapshot.hpp"
-#include "src/mc/Frame.hpp"
-#include "src/mc/ObjectInformation.hpp"
-#include "src/mc/Variable.hpp"
#include "src/mc/sosp/RegionSnapshot.hpp"
using simgrid::mc::remote;
-/* Copyright (c) 2014-2019. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2014-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
#undef NDEBUG
#endif
+#include "src/mc/mc_private.hpp"
+
+#include "src/mc/inspect/ObjectInformation.hpp"
+#include "src/mc/inspect/Type.hpp"
+#include "src/mc/inspect/Variable.hpp"
+#include "src/mc/remote/RemoteClient.hpp"
+
#include <cassert>
#include <cstdlib>
#include <cstring>
#include <random>
-#include "src/mc/mc_private.hpp"
-
-#include "src/mc/ObjectInformation.hpp"
-#include "src/mc/Type.hpp"
-#include "src/mc/Variable.hpp"
-#include "src/mc/remote/RemoteClient.hpp"
-
static std::default_random_engine rnd_engine;
static simgrid::mc::RemoteClient* process;
-/* Copyright (c) 2014-2019. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2014-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
#undef NDEBUG
#endif
-#include <cassert>
-#include <cstring>
-
#include <mc/mc.h>
#include "mc/datatypes.h"
#include "src/mc/mc_private.hpp"
-#include "src/mc/ObjectInformation.hpp"
-#include "src/mc/Type.hpp"
-#include "src/mc/Variable.hpp"
+#include "src/mc/inspect/ObjectInformation.hpp"
+#include "src/mc/inspect/Type.hpp"
+#include "src/mc/inspect/Variable.hpp"
#include "src/mc/remote/RemoteClient.hpp"
+#include <cassert>
+#include <cstring>
+
// Test broken with multi-dimensional arrays. See https://sourceware.org/bugzilla/show_bug.cgi?id=22546
// int test_some_array[4][5][6];
int test_some_array[4 * 5 * 6];