(&mut self, ty: &str, addr: u64, pointee: &SBType, r: usize)
| 682 | |
| 683 | impl<'a> RValueWriter<'a> { |
| 684 | fn pointer_to(&mut self, ty: &str, addr: u64, pointee: &SBType, r: usize) -> Result<Bytes> { |
| 685 | let sb_value = sb_value_from_addr("0", addr, pointee)?; |
| 686 | let addr = Addr::from(addr); |
| 687 | self.alloc_env(addr); // it's very important to alloc first before writing value |
| 688 | let value = write_value(self, &sb_value, r)?; |
| 689 | self.set_env(addr, value); // put this value on the env |
| 690 | Ok(self.ref_v(ty, addr)) |
| 691 | } |
| 692 | |
| 693 | fn ref_counted_to( |
| 694 | &mut self, |
no test coverage detected