summaryrefslogtreecommitdiff
path: root/tools/standalone_miri/module_tree.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'tools/standalone_miri/module_tree.hpp')
-rw-r--r--tools/standalone_miri/module_tree.hpp6
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/standalone_miri/module_tree.hpp b/tools/standalone_miri/module_tree.hpp
index 3489e77e..20e37a51 100644
--- a/tools/standalone_miri/module_tree.hpp
+++ b/tools/standalone_miri/module_tree.hpp
@@ -58,11 +58,17 @@ public:
// struct/union/enum
struct DataType
{
+ // TODO: Store the name of this type for logging?
+
// TODO: Metadata type! (indicates an unsized wrapper)
// TODO: Drop glue
size_t alignment;
size_t size;
+
+ ::HIR::Path drop_glue;
+ ::HIR::TypeRef dst_meta;
+
// Offset and datatype
::std::vector<::std::pair<size_t, ::HIR::TypeRef>> fields;
// Values for variants