bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

typecheck write_value for ByValPair

Browse source
This commit is contained in:
Oliver Schneider 2016-09-27 10:33:47 +02:00
parent d2d73a908d
commit 7b70f4fe2c
No known key found for this signature in database
GPG key ID: 56D6EEA0FC67AC46
1 changed files with 10 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/interpreter/mod.rs
View file

@ -1002,7 +1002,16 @@ impl<'a, 'tcx> EvalContext<'a, 'tcx> {
Value::ByVal(primval) => self.memory.write_primval(dest, primval),
Value::ByValPair(a, b) => {
self.memory.write_primval(dest, a)?;
let extra_dest = dest.offset(self.memory.pointer_size() as isize);
let layout = self.type_layout(dest_ty);
let offset = match *layout {
Layout::Univariant { ref variant, .. } => {
bug!("I don't think this can ever happen until we have custom fat pointers");
//variant.field_offset(1).bytes() as isize
},
Layout::FatPointer { .. } => self.memory.pointer_size() as isize,
_ => bug!("tried to write value pair of non-fat pointer type: {:?}", layout),
};
let extra_dest = dest.offset(offset);
self.memory.write_primval(extra_dest, b)
}
}