cli/pickle: Treat pointers specially.

2 files changed, 11 insertions, 1 deletions

diff --git a/cli/cli_pickle.cpp b/cli/cli_pickle.cpp
index 761f3118..8ea507be 100644
--- a/cli/cli_pickle.cpp
+++ b/cli/cli_pickle.cpp
@@ -152,7 +152,7 @@ public:
     }
 
     void visit(Pointer *node) {
-        writer.writeInt(node->value);
+        writer.writePointer(node->value);
     }
 
     void visit(Repr *r) {
diff --git a/cli/pickle.hpp b/cli/pickle.hpp
index aaecc188..35973ef5 100644
--- a/cli/pickle.hpp
+++ b/cli/pickle.hpp
@@ -296,6 +296,16 @@ public:
         os.put(REDUCE);
     }
 
+    inline void writePointer(unsigned long long addr) {
+        os.put(GLOBAL);
+        os << "unpickle\nPointer\n";
+        os.put(BINPUT);
+        os.put(1);
+        writeInt(addr);
+        os.put(TUPLE1);
+        os.put(REDUCE);
+    }
+
 protected:
     inline void putInt16(uint16_t i) {
         os.put( i        & 0xff);