diff options
| author | John Hodge <tpg@ucc.asn.au> | 2019-08-04 18:09:23 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2019-08-04 18:09:23 +0800 |
| commit | dd04189c53be74e170daefbf0e4186ae8265da0b (patch) | |
| tree | f76c8b3098c3885af3ddc23d8be73ddedb288f7d /tools/standalone_miri/value.cpp | |
| parent | 6c6fd331a7bb415abd723f29cb9014dac25d50cf (diff) | |
| download | mrust-dd04189c53be74e170daefbf0e4186ae8265da0b.tar.gz | |
Standalone MIRI - More pointer fixes
Diffstat (limited to 'tools/standalone_miri/value.cpp')
| -rw-r--r-- | tools/standalone_miri/value.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/standalone_miri/value.cpp b/tools/standalone_miri/value.cpp index 601c1d6c..319f516b 100644 --- a/tools/standalone_miri/value.cpp +++ b/tools/standalone_miri/value.cpp @@ -666,7 +666,7 @@ Value Value::new_ffiptr(FFIPointer ffi) Value rv( ::HIR::TypeRef(::HIR::CoreType { RawType::USize }) ); rv.create_allocation(); rv.allocation->relocations.push_back(Relocation { 0, RelocationPtr::new_ffi(ffi) }); - rv.allocation->data.at(0) = 0; + rv.allocation->data.at(0) = Allocation::PTR_BASE; rv.allocation->mask.at(0) = 0xFF; // TODO: Get pointer size and make that much valid instead of 8 bytes return rv; } |