(value: &RValue)
| 226 | } |
| 227 | |
| 228 | fn get_addr(value: &RValue) -> RefAddr { |
| 229 | if let RValue::Ref { addr, .. } = value { |
| 230 | *addr |
| 231 | } else { |
| 232 | RefAddr::Addr(Addr::from(0)) |
| 233 | } |
| 234 | } |
| 235 | |
| 236 | fn take_usize(value: PValue) -> Option<u64> { |
| 237 | match value { |