Remove the stateful model-checking from the archive. It's not working anymore

[simgrid.git] / src / mc / inspect / Frame.cpp

diff --git a/src/mc/inspect/Frame.cpp b/src/mc/inspect/Frame.cpp
deleted file mode 100644 (file)
index 9d80454..0000000
--- a/src/mc/inspect/Frame.cpp
+++ /dev/null
@@ -1,34 +0,0 @@
-/* Copyright (c) 2007-2023. 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 <libunwind.h>
-
-#include "xbt/sysdep.h"
-
-#include "src/mc/inspect/Frame.hpp"
-
-namespace simgrid::mc {
-
-void* Frame::frame_base(unw_cursor_t& unw_cursor) const
-{
-  simgrid::dwarf::Location location =
-      simgrid::dwarf::resolve(frame_base_location, object_info, &unw_cursor, nullptr, nullptr);
-  if (location.in_memory())
-    return location.address();
-  else if (location.in_register()) {
-    // This is a special case.
-    // The register is not the location of the frame base
-    // (a frame base cannot be located in a register).
-    // Instead, DWARF defines this to mean that the register
-    // contains the address of the frame base.
-    unw_word_t word;
-    unw_get_reg(&unw_cursor, location.register_id(), &word);
-    return (void*)word;
-  } else
-    xbt_die("Unexpected location type");
-}
-
-} // namespace simgrid::mc