From 1d357591bd80e7157d29009691d632eddff971f5 Mon Sep 17 00:00:00 2001
From: Timotej Kapus <tk1713@ic.ac.uk>
Date: Thu, 17 Oct 2019 13:07:34 +0100
Subject: [PTree] Replace left/right with PointerIntPair

---
 lib/Core/PTree.h | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'lib/Core/PTree.h')

diff --git a/lib/Core/PTree.h b/lib/Core/PTree.h
index 6456b57f..115ea83f 100644
--- a/lib/Core/PTree.h
+++ b/lib/Core/PTree.h
@@ -11,15 +11,20 @@
 #define KLEE_PTREE_H
 
 #include "klee/Expr/Expr.h"
+#include "llvm/ADT/PointerIntPair.h"
 
 namespace klee {
   class ExecutionState;
+  class PTreeNode;
+  using PTreeNodePtr = llvm::PointerIntPair<PTreeNode*,3,uint8_t>;
+
 
   class PTreeNode {
   public:
     PTreeNode *parent = nullptr;
-    PTreeNode *left = nullptr;
-    PTreeNode *right = nullptr;
+
+    PTreeNodePtr left; 
+    PTreeNodePtr right;
     ExecutionState *state = nullptr;
 
     PTreeNode(const PTreeNode&) = delete;
-- 
cgit 1.4.1