diff options
| author | John Hodge <tpg@ucc.asn.au> | 2019-08-04 17:23:12 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2019-08-04 17:23:12 +0800 |
| commit | 6c6fd331a7bb415abd723f29cb9014dac25d50cf (patch) | |
| tree | 2351ca2820c575c846b9160bfe8fd62ecbac47b6 /tools/standalone_miri/value.hpp | |
| parent | e88271aae2b141124f45879664afc3d839f4194e (diff) | |
| download | mrust-6c6fd331a7bb415abd723f29cb9014dac25d50cf.tar.gz | |
Standalone MIRI - Properly tagged FFI pointers
Diffstat (limited to 'tools/standalone_miri/value.hpp')
| -rw-r--r-- | tools/standalone_miri/value.hpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/standalone_miri/value.hpp b/tools/standalone_miri/value.hpp index ec8f1899..f4ac2d36 100644 --- a/tools/standalone_miri/value.hpp +++ b/tools/standalone_miri/value.hpp @@ -56,8 +56,8 @@ struct FFIPointer const char* tag_name; ::std::shared_ptr<FfiLayout> layout; - static FFIPointer new_const_bytes(const void* s, size_t size) { - return FFIPointer { const_cast<void*>(s), "", ::std::make_shared<FfiLayout>(FfiLayout::new_const_bytes(size)) }; + static FFIPointer new_const_bytes(const char* name, const void* s, size_t size) { + return FFIPointer { const_cast<void*>(s), name, ::std::make_shared<FfiLayout>(FfiLayout::new_const_bytes(size)) }; }; size_t get_size() const { |