1 /* Copyright (c) 2007-2015. The SimGrid Team.
2 * All rights reserved. */
4 /* This program is free software; you can redistribute it and/or modify it
5 * under the terms of the license (GNU LGPL) which comes with this package. */
7 #ifndef SIMGRID_MC_FRAME_HPP
8 #define SIMGRID_MC_FRAME_HPP
14 #include <xbt/range.hpp>
16 #include "src/mc/mc_forward.h"
17 #include "src/mc/LocationList.hpp"
18 #include "src/mc/Variable.hpp"
19 #include "src/mc/Frame.hpp"
24 /** Debug information about a given function or scope within a function */
29 /** Kind of scope (DW_TAG_subprogram, DW_TAG_inlined_subroutine, etc.) */
30 int tag = DW_TAG_invalid;
32 /** Name of the function (if it is a function) */
35 /** Range of instruction addresses for which this scope is valid */
36 simgrid::xbt::Range<std::uint64_t> range;
38 simgrid::dwarf::LocationList frame_base_location;
40 /** List of the variables (sorted by name) */
41 std::vector<Variable> variables;
43 /* Unique identifier for this scope (in the object_info)
45 * This is the global DWARF offset of the DIE. */
46 unsigned long int id = 0;
48 std::vector<Frame> scopes;
50 /** Value of `DW_AT_abstract_origin`
52 * For inlined subprograms, this is the ID of the
55 unsigned long int abstract_origin_id = 0;
57 simgrid::mc::ObjectInformation* object_info = nullptr;
59 void* frame_base(unw_cursor_t& unw_cursor) const;
60 void remove_variable(char* name);
69 this->abstract_origin_id = 0;
70 this->object_info = nullptr;