Index: runtime/vm/snapshot.h |
=================================================================== |
--- runtime/vm/snapshot.h (revision 37116) |
+++ runtime/vm/snapshot.h (working copy) |
@@ -399,9 +399,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) { |