| Index: runtime/vm/snapshot.h
|
| ===================================================================
|
| --- runtime/vm/snapshot.h (revision 37116)
|
| +++ runtime/vm/snapshot.h (working copy)
|
| @@ -181,6 +181,11 @@
|
| return static_cast<intptr_t>(value);
|
| }
|
|
|
| + intptr_t ReadRawPointerValue() {
|
| + int64_t value = Read<int64_t>();
|
| + return static_cast<intptr_t>(value);
|
| + }
|
| +
|
| void ReadBytes(uint8_t* addr, intptr_t len) {
|
| stream_.ReadBytes(addr, len);
|
| }
|
| @@ -399,9 +404,14 @@
|
|
|
| // Writes an intptr_t type value out.
|
| void WriteIntptrValue(intptr_t value) {
|
| + ASSERT((value >= kMinInt32) && (value <= kMaxInt32));
|
| Write<int64_t>(value);
|
| }
|
|
|
| + void WriteRawPointerValue(intptr_t value) {
|
| + Write<int64_t>(value);
|
| + }
|
| +
|
| // Write an object that is serialized as an Id (singleton in object store,
|
| // or an object that was already serialized before).
|
| void WriteIndexedObject(intptr_t object_id) {
|
|
|